Gödel 96: Logical Foundations of Mathematics, Computer Science and Physics ? Kurt Gödel s Legacy (Lecture Notes in Logic)

ISBN 10: 3540614346 / ISBN 13: 9783540614340

Published by Springer, 1996

About this Item

Covers show some scuffing and edges show some light rubbing.

Seller Inventory # mon0000000793

Bibliographic Details

• Title: Gödel 96: Logical Foundations of Mathematics, Computer Science and Physics ? Kurt Gödel s Legacy (Lecture Notes in Logic)
• Publisher: Springer
• Publication Date: 1996
• Language: English
• ISBN 10: 3540614346
• ISBN 13: 9783540614340
• Binding: Paperback
• Condition: VeryGood

About this title

Synopsis

The aim of the conference Logical Foundations of Mathematics, Computer Science and Phycics - Kurt Godel's Legacy (GO DEL '96}, organized to the occasion of the ninetieth anniversary of the birth of Kurt Godel, is to pay tribute to Kurt Godel by arranging a scientific event presenting a forum for papers relevant to foundational aspects of Logic in Mathematics, Computer Science, Philosophy and Physics - areas influenced by Kurt Godel's work. The conference has been organized in Brno, the birthplace of Godel, by Masaryk University Brno in co-operation with the Institute of Computer Science of the Academy of Sciences of the Czech Republic, Prague, and with the international Kurt Godel Society based in Vienna (Organizing Committee chaired by J. Zlatuska). The Association for Symbolic Logic has recognized the conference as an ASL sponsored meeting. The Program Committee has consisted of Z. Adamowicz, Warsaw; J. Bicak, Prague; L. Bukovsky, Kosice; D. de Jongh, Amsterdam; J. Grygar, Prague; E. Kohler, Vienna; J. Krajicek, Prague; P. Hajek (chair), Prague; A. Leitsch, Vienna; D. Mundici, Milano; G. Miiller, Heidelberg; J. Paris, Manchester; C. Parsons, Harvard.