Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik e-bog
154,35 DKK
(inkl. moms 192,94 DKK)
E-bog
154,35 DKK
Forlag
Springer
Udgivet
12 december 2013
Genrer
PBC
Sprog
German
Format
pdf
Beskyttelse
LCP
ISBN
9783642617249