Symbolic Logic and Mechanical Theorem Proving. Chang Chin-Liang and Lee Richard Char-Tung. Academic Press. NewYork and London. 1973.

Bevezetés a matematikai logikába. Albert Dragálin and Szvetlána Búzási. 1986.

Matematikai logika. Miklós Ferenczi. Műszaki Könyvkiadó. Budapest. 2002.

First-Order Logic and Automated Theorem Proving. Melvin Fitting. Springer-Verlag. 1990.

Logic for Computer Science: Foundations of Automatic Theorem Proving. Jean Gallier. Wiley. 1986.

Matematikai logika példatár. Tamás Kádek, Judit Robu, and Magda Várterész. Kolozsvári Egyetemi Kiadó. Kolozsvár. 2010.

A matematikai logika alkalmazásszemléleltű tárgyalása. Katalin Pásztorné Varga and Magda Várterész. Panem. Budapest. 2003.

Bevezetés a modern logikába. Imre Ruzsa and András Máté. Osiris Kiadó. Budapest. 1997.

First Order Logic. Raymond Smullyan. Springer-Verlag. 1968.