TY  - BOOK
AU  - Hájek,Petr
ED  - Gödel '96
TI  - Gödel '96: Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy 
T2  - Lecture notes in logic
SN  - 9781316754740
AV  - QA9.A1 
U1  - 511.3 23
PY  - 2017///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Mathematics
KW  - Philosophy
KW  - Computer science
KW  - Mathematical physics
KW  - Logique symbolique et mathématique
KW  - Congrès
KW  - Mathématiques
KW  - Philosophie
KW  - Informatique
KW  - Physique mathématique
KW  - MATHEMATICS
KW  - General
KW  - bisacsh
KW  - fast
KW  - Electronic books
KW  - Conference papers and proceedings
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475796
ER  -