Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Produktform: E-Buch Text Elektronisches Buch in proprietärem
16,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
Produktform: E-Buch Text Elektronisches Buch in proprietärem
12,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Produktform: E-Buch Text Elektronisches Buch in proprietärem
14,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Produktform: Buch / Einband - flex.(Paperback)
19,95 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
Produktform: Buch / Einband - flex.(Paperback)
17,95 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Produktform: Buch / Einband - flex.(Paperback)
24,95 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage