Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics
Regular price
€173.60
14 days return policy
Shipping & Delivery
advanced mathematical reasoning
arithmetic hierarchies
axiomatic systems
Category=PBCH
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
non-classical logics
philosophical logic
recursion theory
relativity in logic
Product details
- ISBN 9781138466869
- Weight: 453g
- Dimensions: 152 x 229mm
- Publication Date: 11 Sep 2017
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
Institute for Computer Science Academy of Sciences of the Czech Republic Prague, Czech Republic.
