Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Naturliches Schlieen. Kalkul der Positiv- und Negativteile. Spielarten der Semantik

Bok av Wolfgang Stegmuller