Literatur
Bostock, D. Intermediate Logic (1997): Intermediate Logic. Oxford: Clarendon Press.
Dalen, D. v. Logic and structure (2004): Logic and structure. 4. Aufl. Berlin [u.a.]: Springer.
Deiser, O. Mengenlehre (2004): Einfuhrung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre
Axiomatisierung durch Ernst Zermelo. 2. Aufl. Berlin [u.a.]: Springer.
Ebbinghaus, H.-D. Mengenlehre (2003): Einfuhrung in die Mengenlehre. 4. Aufl. Heidelberg [u.a.]: Spektrum,
Akad. Verl.
Ebbinghaus, H.-D.; Flum, J.; Thomas, W. Mathematische Logik (1996): Einfuhrung in die mathematische
Logik. 4. Aufl. Heidelberg [u.a.]: Spektrum, Akad. Verl.
Gloede, K. Mathematische Logik (2006/07): Skriptum zur Vorlesung Mathematische Logik. Mathematisches
Institut der Universitat Heidelberg. http://www.math.uni-heidelberg.de/logic/skripten/math logik/
mathlogik.pdf.
Gradel, E. Mathematsche Logik (2009): Mathematische Logik. SS 2009. Mathematische Grundlagen der
Informatik. RWTH Aachen. http://www.logic.rwth-aachen.de/files/MaLo/script-2up.pdf.
Hinst, P. Pragmatische Regeln (1982): Pragmatische Regeln des logischen Argumentierens. In: Gethmann,
C. F. (Hg.): Logik und Pragmatik. Frankfurt am Main: Suhrkamp, S. 199-215.
Hinst, P. Logischer Grundkurs (1997/1998): Logischer Grundkurs I. Logische Propadeutik und Mengenlehre.
WS 1997/1998. LMU Munchen.
Hinst, P. Logik (2009): Grundbegriffe der Logik. Typoskript, Munchen.
Kalish, D.; Montague, R.; Mar, G. Logic (1980): Logic. Techniques of formal reasoning. 2. Aufl. San Diego,
Ca: Harcourt Brace Jovanovich.
KLEINKNECHT, R. Grundlagen der modernen Definitionstheorie (1979): Grundlagen der modernen Defini-
tionstheorie. Konigstein/Ts.: Scriptor-Verl.
Link, G. Collegium Logicum (2009): Collegium Logicum: Logische Grundlagen der Philosophie und der Wis-
senschaften. 2 Bande. Paderborn: Mentis, Bd. 1.
Pelletier, F. J. A Brief History of Natural Deduction (1999): A Brief History of Natural Deduction. In: History
and Philosophy of Logic, Bd. 20.1, S. 1-31. Online unter http://www.sfu.ca/~jeffpell/papers/NDHistory.pdf.
Pelletier, F. J. A History of Natural Deduction (2001): A History of Natural Deduction and Elementary Logic
Textbooks. 1999. In: Woods, J.; Brown, B. (Hgg.): Logical Consequence: Rival Approaches. Proceedings of
the 1999 Conference of the Society of Exact Philosophy. Oxford: Hermes Science Publishing, S. 105-138.
Online unter http://www.sfu.ca/~jeffpell/papers/pelletierNDtexts.pdf.