Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Publisher: Springer London, Limited
Published: 2013
Language: ger
ISBN-13: 9783642617249