ISBN-13: 9781138466869 / Angielski / Twarda / 2017
ISBN-13: 9781138466869 / Angielski / Twarda / 2017
This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt G�del's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of G�del 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.