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

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

Wolfgang Stegmüller(Herausgeber*in)
Springer (Verlag)
1. Auflage
Erschienen am 12. Dezember 2013
230 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-642-61724-9 (ISBN)
16,99 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Weitere Details

Weitere Ausgaben

Inhalt

Systemvoraussetzungen