Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Produktform: Buch / Einband - flex.(Paperback)
Noch Fragen? 0800 / 33 82 637