Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6 - Hardcover

Reseña del editor

This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Gdel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Gdel 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.