| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 1643455 | 136 |  | N. Shankar | Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science, 1994) | 1994 | pdf | 9/21/2021 6:56:56 PM | tvladb77 |
| 1806573 | 37 |  | Anatolii Ivanovic Mal'cev | The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967 (Studies in Logic and the Foundations of Mathematics, Volume 66) | 1971 | djvu | 8/28/2020 9:20:07 PM | tvladb77 |
| 1806569 | 53 |  | Petr Hajek | Metamathematics of Fuzzy Logic (Trends in Logic (4)) | 1998 | pdf | 8/28/2020 9:12:56 PM | tvladb77 |
| 1806555 | 76 |  | Petr Hajek | Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic) | 1998 | pdf | 8/28/2020 8:49:43 PM | tvladb77 |
| 1806554 | 101 |  | Roman Murawski | Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godel's Theorems (Synthese Library) | 1999 | pdf | 8/28/2020 8:34:28 PM | tvladb77 |
| 1806553 | 147 |  | Helena Rasiowa | The Mathematics of Metamathematics | 1970 | pdf | 8/28/2020 8:27:19 PM | tvladb77 |
| 1628071 | 125 |  | N. Shankar | Metamathematics, Machines and Gdel's Proof | 1997-01-30 | PDF | 10/22/2019 12:40:23 PM | stirkout |
| 1557759 | 104 |  | William Boos | Metamathematics and the Philosophical Tradition | 2018 | pdf | 6/15/2019 8:46:47 AM | gestalt |
| 1468331 | 302 | | Matthew Katz and Jan Reimann | An Introduction to Ramsey Theory : Fast Functions, Infinity, and Metamathematics | 2018 | pdf | 1/11/2019 7:29:01 AM | eternal |
| 1450082 | 84 |  | Alfred Tarski, John Corcoran, J. H. Woodger | Logic, Semantics, Metamathematics (2nd Edition) | 2017 | PDF | 12/15/2018 2:51:38 AM | alex21s |
|