References

Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formel sprache des reinen Denkens. Verlag von L. Nebert, Halle, 5–82.
Gödel, K. (1944). Russell’s mathematical logic. In P. Schilpp (Ed.), The philosophy of bertrand russell (pp. 119–141). The Philosophy of Bertrand Russell.
Henkin, L. (1967). Systems, formal, and models of formal systems. In P. Edwards (Ed.), The encyclopedia of philosophy, vol (pp. 61–74). Macmillan, Inc.
Hodges, W. (1977). Logic. Penguin Books.
Tarski, A. (1941). Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press.