![Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /
Einleitung: Inhaltsübersicht -- 1. Vorbereitungen -- 1.1 Logische und semiotische Präliminarien -- 1.2 Zur Bezeichnungsweise und Symbolik -- 1.3 Grundbegriffe der Mengenlehre -- I. Logik -- 2. Junktoren -- 3. Quantoren -- 4. Kalküle -- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | ger |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1984
|
| Subjects: | Mathematics., Mathematical logic., Mathematical Logic and Foundations., |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-61724-9 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|