Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schliessen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Edition: 1 edition
Publisher: Springer
Published: November 22, 1983
Language: ger
Format: Paperback
Number of pages: 230
ISBN-13: 9783540122111
Subjects: Logic; Logik; Mathematics / Logic; Mathematics