Yazar
Matthias Baaz
5 cilt bulundu.
Matthias Baaz · Cambridge University Press
515 sayfa · 2011
MATHEMATICS / Logic / Mathematics / Philosophy / Gödel's theorem / Goedel's theorem
Matthias Baaz, Andrei Voronkov · Springer
465 sayfa · 2002
Logic programming / Congresses / Artificial intelligence / Automatic theorem proving / Computer science
Logic Colloquium (2001 Vienna, Austria), Matthias Baaz, Jan Krajicek, Austria) Logic Colloquium (2001 Vienna · Association for Symbolic Logic
496 sayfa · 2005
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Mathematics
Matthias Baaz, Christos H. Papadimitriou, Dana S. Scott · Cambridge University Press
541 sayfa · 2011
Goedel, kurt, 1906-1978 / Logic, symbolic and mathematical