Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielearten der Semantik. : Strukturtypen der Logik Band III Teil A
Reihen: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie Editionsangabe:1. Auflage Erschienen bei: Springer-Verlag (Berlin Heidelberg) Physische Details: 230 S. ISBN:3540122117. Jahr: 1984Medientyp | Aktuelle Bibliothek | Signatur | Status | Fälligkeitsdatum | Barcode |
---|---|---|---|---|---|
Bücher | Bibliothek der NORDAKADEMIE | MTH 20 (Regal durchstöbern (Öffnet sich unterhalb)) | Verfügbar | 004839 |
Es gibt keine Kommentare für diesen Titel.