Search Results
Results 1 - 10 of 49
(page 1 of 5)
A Course in Mathematical Logic for Mathematicians
E-book
E-book
| Publisher: | New York, NY : Springer New York, 2010. |
| ISBN: | 9781441906151 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Around and Beyond the Square of Opposition
E-book
E-book
| Publisher: | Basel : Springer Basel, 2012. |
| ISBN: | 9783034803793 |
| Phys. Desc.: | X, 379p. 152 illus., 19 illus. in color. online resource. |
| Electronic resource | Texto completo |
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2014. |
| ISBN: | 9783319021713 |
| Phys. Desc.: | IX, 77 p. online resource. |
| Electronic resource | Texto completo |
Constructive Negations and Paraconsistency
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2008. |
| ISBN: | 9781402068676 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2006. |
| ISBN: | 9781402050121 |
| Phys. Desc.: | IX, 348 p. online resource. |
| Electronic resource | Texto completo |
Visual Reasoning with Diagrams
E-book
E-book
| Publisher: | Basel : Springer Basel : 2013. |
| ISBN: | 9783034806008 |
| Phys. Desc.: | XV, 200 p. 139 illus., 13 illus. in color. online resource. |
| Electronic resource | Texto completo |
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2014. |
| ISBN: | 9783319034522 |
| Phys. Desc.: | XVIII, 220 p. online resource. |
| Electronic resource | Texto completo |
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2008. |
| ISBN: | 9781402067822 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Dual Tableaux: Foundations, Methodology, Case Studies
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2011. |
| ISBN: | 9789400700055 |
| Phys. Desc.: | XVI, 524 p. digital. |
| Electronic resource | Texto Completo |
Institution-independent Model Theory
E-book
E-book
| Publisher: | Basel : Birkhäuser Basel, 2008. |
| ISBN: | 9783764387082 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
