Wolfgang Rautenberg

A concise introduction to mathematical logic

A Concise Introduction to Mathematical Logic (Universitext)

Ω-Bibliography of Mathematical Logic

A Concise Introduction to Mathematical Logic (Universitext)

Einführung in die Mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung

Einführung in die mathematische Logik

Ω-Bibliography of Mathematical Logic

Klassische und nichtklassische Aussagenlogik