Petr Hajek

Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics Lecture Notes in Logic 6 - 1 - A K Peters/CRC Press 20010326 - 294 p

This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Godel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Godel s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event.

9781568811536

Taylor & Francis GBP 37.99 BB