| Kleene, S | Introduction to Metamathematics | 02 (03) Mathematical logic and foundations |
| Levy, Azriel | A Hierarchy of Formulas in Set Theory | 02 (03) Mathematical logic and foundations |
| Mostowski, Andrzej | Thirty Years of Foundational Studies, Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964 | 02 (03) Mathematical logic and foundations |
| Rasiowa, Helena | The Mathematics of Metamathematics | 02 (03) Mathematical logic and foundations |
| Ren Chao, Yuen | Language and Symbolic Systems | 02 (03) Mathematical logic and foundations |