Matematické základy

Godel's Theorem - Franzen, Torkel

Cryptanalysis of Number Theoretic Ciphers - Wagstaff, Jr., Samuel S. (Purdue University, West Lafayette, Indiana, USA)

Axiomatic Set Theory - Suppes, Patrick

Mathemagician and Pied Puzzler

Temporal Logic: Volume 2 - Gabbay, Dov M (Department of Computer Science, Department of Computer Science, King's College London) a Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Australia) a Reynolds, M. (, Dept of Ciencia da C

Lectures in Logic and Set Theory: Volume 2, Set Theory - Tourlakis, George (York University, Toronto)

Basic Proof Theory - Troelstra, A. S. (Universiteit van Amsterdam) a Schwichtenberg, H. (Universitat Munchen)

From Trotsky to Godel - Feferman, Anita Burdman