1. M. Adzic and K. Dosen. Logic Lectures: Gödel’s Basic Logic Course at Notre Dame. ArXiv e-prints, May 2017.
2. Emil L. Post. Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(3):163–185, 1921.
3. Ludwig Wittgenstein. Tractatus logico-philosophicus. Routledge, London-NY, 2001.
4. Łukasiewicz. Logika dwuwartościowa (two-valued logic). Przeglad Filozoficzny, 23:189–205, 1921.
5. W. Van Orman Quine. Methods of Logic. Harvard University Press, New York, 1966.