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

36,50 CHF

Lieferbar


Artikelnummer 9783540122111
Produkttyp Buch
Preis 36,50 CHF
Verfügbarkeit Lieferbar
Einband Kartonierter Einband (Kt)
Meldetext Folgt in ca. 5 Arbeitstagen
Autor Stegmüller, Wolfgang
Verlag Springer Berlin Heidelberg
Weight 0,0
Erscheinungsjahr 19831101
Seitenangabe 240
Sprache ger
Anzahl der Bewertungen 0

Dieser Artikel hat noch keine Bewertungen.

Eine Produktbewertung schreiben