Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Bibliographische Detailangaben

1. Verfasser:	Stegmüller, Wolfgang (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	German
Veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 1984
Schriftenreihe:	Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band III Strukturtypen der Logik, Studienausgabe, Teil A 3 / A
Schlagworte:	Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!