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!
|
Be the first to leave a comment!