First order logic revisited (5 risultati)

Paperback. Condizione: new. Paperback. The volume includes the proceedings from the conference FOL75 - 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik. The papers provide analyses of the historical conditions of the shaping of FOL, discuss several modern rivals to it, and show the importance of FOL for interdisciplinary research. While there is no doubt that the celebrated book marks a most important step in the development of logic, the volume in hand proves the actuality of the question "Which logic is the right logic". The volume contains articles by: H. Andreka, J. X. Madarasz, I. Nemeti, A. Avron, K. Brunnler, A. Guglielmi, G. Englebretsen, W. Ewald, P. Hajek, J. Hintikka, W. Hodges, M. Kracht, R. Lanzet, H. Ben-Yami, C. Toke, S. P. Odintsov, H. Wansing, J. A. Robinson, M. Rossberg, M. Thielscher, D. E. Willard, and J. Wole 'nski. "Proceedings from the conference FOL75 - 75 Years of First-Order Logic held at Humboldt University, Berlin, Germany, September 18 - 21 2003"--Pref. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condizione: Brand New. 500 pages. 9.45x6.65x9.41 inches. In Stock.

Paperback. Condizione: new. Paperback. The volume includes the proceedings from the conference FOL75 - 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik. The papers provide analyses of the historical conditions of the shaping of FOL, discuss several modern rivals to it, and show the importance of FOL for interdisciplinary research. While there is no doubt that the celebrated book marks a most important step in the development of logic, the volume in hand proves the actuality of the question "Which logic is the right logic". The volume contains articles by: H. Andreka, J. X. Madarasz, I. Nemeti, A. Avron, K. Brunnler, A. Guglielmi, G. Englebretsen, W. Ewald, P. Hajek, J. Hintikka, W. Hodges, M. Kracht, R. Lanzet, H. Ben-Yami, C. Toke, S. P. Odintsov, H. Wansing, J. A. Robinson, M. Rossberg, M. Thielscher, D. E. Willard, and J. Wole 'nski. "Proceedings from the conference FOL75 - 75 Years of First-Order Logic held at Humboldt University, Berlin, Germany, September 18 - 21 2003"--Pref. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Condizione: New. 2004. Illustrated. paperback. . . . . . Books ship from the US and Ireland.

Condizione: New. 2004. Illustrated. paperback. . . . . .