Author books / Книги автора Baaz Matthias,Harper Jr Charles L.,Papadimitriou Christos H.,Putnam Hilary W.,Scott Dana S » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Baaz Matthias,Harper Jr Charles L.,Papadimitriou Christos H.,Putnam Hilary W.,Scott Dana S

book Kurt Goedel and the Foundations of Mathematics Horizons of Truth

Kurt Goedel and the Foundations of Mathematics Horizons of Truth

pdf

Author: Baaz Matthias, Harper Jr Charles L., Papadimitriou Christos H., Putnam Hilary W., Scott Dana S
Language: English
Year: 2014

00

06.02.2024

0

0

book Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

djvu

Author: Baaz Matthias, Friedman Sy D., Krajíček Jan (eds.)
Language: English
Year: 2005

00

30.01.2024

2

0