Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Matthia Baaz, Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination
Matthia Baaz, Matthias Baaz, Alexander Leitsch Methods of Cut-Elimination Englisch 11.02.2013 Taschenbuch Fr. 158.00 6-7 Wochen
Francesca Poggiolesi - Gentzen Calculi for Modal Propositional Logic
Francesca Poggiolesi Gentzen Calculi for Modal Propositional Logic Englisch 30.01.2013 Taschenbuch Fr. 169.00 6-7 Wochen
Joanna Goli ska Pilarek, Joanna Golinska Pilarek, Joanna Golińska Pilarek, Joanna Goliska Pilarek, Ew Orlowska, Ewa Orlowska - Dual Tableaux: Foundations, Methodology, Case Studies
Joanna Goli ska Pilarek, Joanna Golinska Pilarek, Joanna Golińska Pilarek, Joanna Goliska Pilarek, Ew Orlowska, Ewa Orlowska Dual Tableaux: Foundations, Methodology, Case Studies Englisch 06.12.2012 Taschenbuch Fr. 207.00 6-7 Wochen
Ralph Gregory Taylor - Logic and Fixed-Domain Reasoning: Volume 1
Ralph Gregory Taylor Logic and Fixed-Domain Reasoning: Volume 1 Englisch Fester Einband Fr. 168.00 Erscheint am 10.12.2025
Ralph Gregory Taylor - Logic and Fixed-Domain Reasoning: Volume 2
Ralph Gregory Taylor Logic and Fixed-Domain Reasoning: Volume 2 Englisch Fester Einband Fr. 188.00 Erscheint am 10.12.2025
Daniele Mundici - Algebraic Probabilistic Consistency
Daniele Mundici Algebraic Probabilistic Consistency Englisch Fester Einband Fr. 146.00 Erscheint am 07.09.2025
Dorota Leszczynska-Jasion, Dorota Leszczyńska-Jasion - The Method of Socratic Proofs
Dorota Leszczynska-Jasion, Dorota Leszczyńska-Jasion The Method of Socratic Proofs Englisch Fester Einband Fr. 178.00 Erscheint am 16.05.2025
Liu, Fenrong Liu, Johan van Benthem - Graph Games and Logic Design
Liu, Fenrong Liu, Johan van Benthem Graph Games and Logic Design Englisch, Deutsch Fester Einband Fr. 158.00 Erscheint am 12.07.2025