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

Häftad, Tyska, 1983

263 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1983-11-01
Mått:155 x 235 x 14 mm
Vikt:371 g
Format:Häftad
Språk:Tyska
Serie:Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie
Antal sidor:230
Upplaga:1984
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540122111

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.