Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Wolfgang Stegmüller
Themen in »Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik«
Beweis Kardinalzahl Lemma Logik Mengenlehre Sequenzenkalkül Äquivalenz
Stimmen zu »Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik«
Details
ISBN: 9783540122111
Verlag: Springer Berlin
Erscheinung: 01.11.1983