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

'Strukturtypen der Logik'. Auflage 1984. Paperback.
kartoniert , 240 Seiten
ISBN 3540122117
EAN 9783540122111
Veröffentlicht November 1983
Verlag/Hersteller Springer Berlin Heidelberg
24,95 inkl. MwSt.
Lieferbar innerhalb von 5-7 Tagen (Versand mit Deutscher Post/DHL)
Teilen