Einführungen

1. Colin Allen, Michael Hand: Logic Primer, Cambrige: MIT Press 1992

2. Jon Barwise/John Etchemendy: The Language of First Order Logic. Including the Macintosh$^{TM}$ Program ``Tarski's World'', Palo Alto: Center for the Study of Language and Information $^2$1991 (=CLSI Lecture Notes 23)

3. Wilfrid Hodges: Logic, London: Penguin 1991

4. E.J. Lemmon: Beginning Logic, London: Chapman & Hall $^2$1987, reprint 1990

5. Benson Mates: Elementare Logik. Prädikatenlogik der ersten Stufe, Göttingen: Vandenhoeck & Ruprecht $^2$1978 (=Moderne Mathematik in elementarer Darstellung 9)

6. Eike von Savigny: Grundkurs im logischen Schließen, Göttingen: Vandenhoeck & Ruprecht $^3$1993 (=Kleine Vandenhoeck-Reihe 1504)