Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Häftad, Tyska, 1983
339 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum1983-11-01
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkTyska
- SerieStrukturtypen der Logik
- Antal sidor230
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540122111