Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



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.



More intriguing information

1. Detecting Multiple Breaks in Financial Market Volatility Dynamics
2. Deprivation Analysis in Declining Inner City Residential Areas: A Case Study From Izmir, Turkey.
3. Globalization and the benefits of trade
4. The name is absent
5. The Trade Effects of MERCOSUR and The Andean Community on U.S. Cotton Exports to CBI countries
6. Who runs the IFIs?
7. ¿Por qué se privatizan servicios en los municipios (pequeños)? Evidencia empírica sobre residuos sólidos y agua.
8. The Impact of EU Accession in Romania: An Analysis of Regional Development Policy Effects by a Multiregional I-O Model
9. Text of a letter
10. Innovation Trajectories in Honduras’ Coffee Value Chain. Public and Private Influence on the Use of New Knowledge and Technology among Coffee Growers