![Sequents and Trees Sequents and Trees](https://bilder.buecher.de/produkte/62/62992/62992135m.jpg)
Broschiertes Buch
An Introduction to the Theory and Applications of Propositional Sequent Calculi
1st edition 2021
18. Dezember 2021
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-030-57147-4
Gebundenes Buch | 69,54 € | |
eBook, PDF | 40,95 € |
![Sequents and Trees Sequents and Trees](https://bilder.buecher.de/produkte/59/59809/59809796m.jpg)
Gebundenes Buch
An Introduction to the Theory and Applications of Propositional Sequent Calculi
1st edition 2021
17. Dezember 2020
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-030-57144-3
![Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics](https://bilder.buecher.de/produkte/36/36065/36065117m.jpg)
Broschiertes Buch
2010
5. September 2012
Springer / Springer Netherlands
978-94-007-3243-8
Gebundenes Buch | 177,99 € | |
eBook, PDF | 177,95 € |
![Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics](https://bilder.buecher.de/produkte/28/28036/28036507m.jpg)
Gebundenes Buch
2010 edition
11. Juni 2010
Springer / Springer Netherlands
12607662,978-90-481-8784-3
![Sequents and Trees (eBook, PDF) Sequents and Trees (eBook, PDF)](https://bilder.buecher.de/produkte/62/62299/62299128m.jpg)
69,54 €**
40,95 €
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Sofort per Download lieferbar
Versandkostenfrei![Natural Deduction, Hybrid Systems and Modal Logics (eBook, PDF) Natural Deduction, Hybrid Systems and Modal Logics (eBook, PDF)](https://bilder.buecher.de/produkte/37/37411/37411547m.jpg)
eBook, PDF
3. Juli 2010
Springer Netherlands
Ähnliche Artikel
![An Introduction to the Language of Mathematics An Introduction to the Language of Mathematics](https://bilder.buecher.de/produkte/53/53514/53514886m.jpg)
Gebundenes Buch
1st edition 2018
10. Dezember 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-00640-2
![Beweisen lernen Schritt für Schritt Beweisen lernen Schritt für Schritt](https://bilder.buecher.de/produkte/59/59532/59532391m.jpg)
Broschiertes Buch
für einen gelungenen Einstieg ins Mathestudium
1. Aufl. 2020
14. August 2020
Springer Berlin Heidelberg / Springer Spektrum / Springer, Berlin
978-3-662-61615-4
![Decidability of Logical Theories and Their Combination Decidability of Logical Theories and Their Combination](https://bilder.buecher.de/produkte/62/62621/62621279m.jpg)
Broschiertes Buch
4. November 2021
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-030-56556-5
![Decidability of Logical Theories and Their Combination Decidability of Logical Theories and Their Combination](https://bilder.buecher.de/produkte/59/59797/59797920m.jpg)
Gebundenes Buch
1st edition 2020
21. Oktober 2020
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-030-56553-4
![Visual Reasoning with Diagrams Visual Reasoning with Diagrams](https://bilder.buecher.de/produkte/36/36740/36740035m.jpg)
Broschiertes Buch
2013
18. Juli 2013
Birkhäuser / Springer Basel / Springer, Berlin
978-3-0348-0599-5
![Arabic Logic from al-F¿r¿b¿ to Averroes Arabic Logic from al-F¿r¿b¿ to Averroes](https://bilder.buecher.de/produkte/57/57065/57065830m.jpg)
Broschiertes Buch
A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
1st edition 2019
24. Dezember 2019
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-030-27465-8
![Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum](https://bilder.buecher.de/produkte/22/22025/22025062m.jpg)
Gebundenes Buch
Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
2002
31. Januar 2002
Springer / Springer Netherlands
978-1-4020-0152-9
![Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum](https://bilder.buecher.de/produkte/32/32019/32019651m.jpg)
Broschiertes Buch
Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999
Softcover reprint of hardcover 1st ed. 2002
6. Dezember 2010
Springer / Springer Netherlands
978-90-481-5885-0
![Logic in Question Logic in Question](https://bilder.buecher.de/produkte/69/69659/69659327m.jpg)
Broschiertes Buch
Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
1st edition 2022
12. Januar 2024
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-030-94454-4
Ähnlichkeitssuche: Fact®Finder von OMIKRON