Cutland - An Introduction to Recursive Function Theory (1992).pdf

Inne pliki z tego folderu:

• Troelstra and van Dalen - Constructivism in Mathematics - Vol. I (1988).pdf (35737 KB)
• Chang and Keisler - Model Theory (1992).pdf (96390 KB)
• Gödel - On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1992).djvu (475 KB)
• Sominskii - The Method of Mathematical Induction (1961).djvu (550 KB)
• Jech - The Axiom of Choice (1973).djvu (1244 KB)