| Hughes, G. E. | An Introduction to Modal Logic | 02 (03) Mathematical logic and foundations |
| Kleene, S | Introduction to Metamathematics | 02 (03) Mathematical logic and foundations |
| Kleene, Stephen | Mathematical Logic | 02 (03) Mathematical logic and foundations |
| Levy, Azriel | A Hierarchy of Formulas in Set Theory | 02 (03) Mathematical logic and foundations |
| Mates, Benson | Elementary Logic | 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 |
| Van Orman Quine, Willard | Elementary Logic Revised Edition | 02 (03) Mathematical logic and foundations |
| Zissos, D. | Problems and Solutions in Logic Design | 02 (03) Mathematical logic and foundations |