Lambda Calculus with Types von Henk Barendregt; Wil Dekkers; Richard Statman Buch | Hardcover 2013 | Cambridge University Press ISBN: 9780521766142 CHF 139,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Malliavin Calculus for Lévy Processes and Infinite-Dimensional Brownian Motion von Horst Osswald Buch | Hardcover 2012 | Cambridge University Press ISBN: 9781107016149 CHF 116,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
A Proof Theory for General Unification von W. Snyder Buch | Hardcover 1991 | Birkhauser Boston ISBN: 9780817635930 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
A Set Theory Workbook von Iain Adamson Buch | Softcover 1997 | Birkhauser Boston Inc ISBN: 9780817640286 CHF 104,80 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Sets for Mathematics von F. William Lawvere; Robert Rosebrugh Buch | Hardcover 2003 | Cambridge University Press ISBN: 9780521804448 CHF 209,45 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
To Mock a Mockingbird: and Other Logic Puzzles von Raymond Smullyan Buch | Softcover 2000 | Oxford University Press ISBN: 9780192801425 CHF 19,90 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Proof and System-Reliability von Helmut Schwichtenberg; Ralf Steinbruggen Buch | Hardcover 2002 | Kluwer Academic Publishers ISBN: 9781402006074 CHF 247,15 (inkl. MwSt) in den Warenkorb Lieferbar
Automata Theory with Modern Applications von James A. Anderson Buch | Hardcover 2006 | Cambridge University Press ISBN: 9780521848879 CHF 144,90 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Classical Mathematical Logic The Semantic Foundations of Logic von Richard L. Epstein Buch | Hardcover 2006 | Princeton University Press ISBN: 9780691123004 CHF 129,95 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Computational Complexity and Statistical Physics von Allon Percus; Gabriel Istrate; Cristopher Moore Buch | Hardcover 2005 | Oxford University Press Inc ISBN: 9780195177374 CHF 195,15 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Theorems, Corollaries, Lemmas, and Methods of Proof von Richard J. Rossi Buch | Hardcover 2006 | Wiley-Interscience ISBN: 9780470042953 CHF 218,60 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Automata Theory with Modern Applications von James A. Anderson Buch | Softcover 2006 | Cambridge University Press ISBN: 9780521613248 CHF 101,00 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Changes of Mind An Essay on Rational Belief Revision von Neil Tennant Buch | Hardcover 2012 | Oxford University Press ISBN: 9780199655755 CHF 179,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
In Pursuit of the Traveling Salesman Mathematics at the Limits of Computation von William J. Cook Buch | Softcover 2014 | Princeton University Press ISBN: 9780691163529 CHF 25,70 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Formal Languages in Logic A Philosophical and Cognitive Analysis von Catarina Dutilh Novaes Buch | Softcover 2014 | Cambridge University Press ISBN: 9781107460317 CHF 55,85 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Recursion Theory Computational Aspects of Definability von Chi Tat Chong; Liang Yu Buch | Hardcover 2015 | Auflage: 1 | De Gruyter ISBN: 9783110275551 CHF 229,95 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson von David Chudnovsky; Gregory Chudnovsky Buch | Softcover 2014 | Springer-Verlag New York Inc. ISBN: 9781489981462 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
After Gödel Platonism and Rationalism in Mathematics and Logic von Richard Tieszen Buch | Softcover 2013 | Oxford University Press ISBN: 9780199680610 CHF 59,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Hilbert's Programs and Beyond von Wilfried Sieg Buch | Hardcover 2013 | Oxford University Press Inc ISBN: 9780195372229 CHF 156,15 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Predicate Calculus and Program Semantics von Edsger W. Dijkstra; Carel S. Scholten Buch | Softcover 2011 | Springer-Verlag New York Inc. ISBN: 9781461279242 CHF 127,30 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Lattice Sums Then and Now von J. M. Borwein; M. L. Glasser; R. C. McPhedran; J... Buch | Hardcover 2013 | Cambridge University Press ISBN: 9781107039902 CHF 246,25 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Topological Spaces From Distance to Neighborhood von Gerard Buskes; Arnoud van Rooij Buch | Softcover 2012 | Springer-Verlag New York Inc. ISBN: 9781461268628 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Proof Analysis A Contribution to Hilbert's Last Problem von Sara Negri; Jan Von Plato Buch | Softcover 2014 | Cambridge University Press ISBN: 9781107417236 CHF 73,30 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Goal-based Reasoning for Argumentation von Douglas Walton Buch | Hardcover 2015 | Cambridge University Press ISBN: 9781107119048 CHF 139,60 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
A Guide to NIP Theories von Pierre Simon Buch | Hardcover 2015 | Cambridge University Press ISBN: 9781107057753 CHF 199,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Specification and Verification of Multi-agent Systems von Mehdi Dastani; Koen V. Hindriks; John-Jules Meyer Buch | Softcover 2014 | Springer-Verlag New York Inc. ISBN: 9781489990884 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
A Bridge to Higher Mathematics von Valentin Deaconu; Donald C. Pfaff Buch | Hardcover 2017 | CRC Press ISBN: 9781138441637 CHF 329,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Transition to Analysis with Proof von Steven Krantz Buch | Softcover 2017 | CRC Press ISBN: 9781138064065 CHF 143,10 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Structural Analysis of Non-Classical Logics The Proceedings of the Second Taiwan Philosophical Logic Colloquium von Syraya Chin-Mu Yang; Duen-Min Deng; Hanti Lin Buch | Softcover 2016 | Springer Berlin ISBN: 9783662517123 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Axiomatic Method and Category Theory von Andrei Rodin Buch | Softcover 2016 | Springer International Publishing ISBN: 9783319375519 CHF 194,70 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Formal Logic von Paul A. Gregory Buch | Softcover 2017 | Broadview Press Ltd ISBN: 9781554812721 CHF 102,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Recent Developments in the Philosophy of Science: EPSA13 Helsinki von Uskali Mäki; Ioannis Votsis; Stéphanie Ruphy;.. Buch | Softcover 2016 | Springer International Publishing ISBN: 9783319374239 CHF 179,70 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
From Logic to Practice Italian Studies in the Philosophy of Mathematics von Gabriele Lolli; Marco Panza; Giorgio Venturi Buch | Softcover 2016 | Springer International Publishing ISBN: 9783319348452 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Computer Arithmetic and Formal Proofs Verifying Floating-point Algorithms with the Coq System von Sylvie Boldo; Guillaume Melquiond Buch | Hardcover 2017 | ISTE Press Ltd - Elsevier Inc ISBN: 9781785481123 CHF 229,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Duality Theories for Boolean Algebras with Operators von Steven Givant Buch | Softcover 2016 | Springer International Publishing ISBN: 9783319350264 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Can You Solve My Problems? Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles von Alex Bellos Buch | Softcover 2017 | The Experiment LLC ISBN: 9781615193882 CHF 28,90 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Alan Turing The Life of a Genius von Dermot Turing Buch | Softcover 2017 | Pitkin Publishing ISBN: 9781841657561 CHF 10,45 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Leśniewski's Systems of Logic and Foundations of Mathematics von Rafal Urbaniak Buch | Softcover 2016 | Springer International Publishing ISBN: 9783319344164 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Handbook on Ontologies von Steffen Staab; Rudi Studer Buch | Softcover 2016 | Auflage: 2 | Springer Berlin ISBN: 9783662499955 CHF 589,95 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Objectivity, Realism, and Proof FilMat Studies in the Philosophy of Mathematics von Francesca Boccuni; Andrea Sereni Buch | Hardcover 2016 | Springer International Publishing ISBN: 9783319316420 CHF 179,70 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Lectures on Real Analysis von Finnur Lárusson Buch | Hardcover 2012 | Cambridge University Press ISBN: 9781107026780 CHF 239,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Tree Lattices von Hyman Bass; Alexander Lubotzky Buch | Softcover 2011 | Springer-Verlag New York Inc. ISBN: 9781461274131 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Fuzzy Modelling Paradigms and Practice von Witold Pedrycz Buch | Softcover 2011 | Springer-Verlag New York Inc. ISBN: 9781461285892 CHF 299,55 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Rough Sets and Data Mining Analysis of Imprecise Data von T.Y. Lin; N. Cercone Buch | Softcover 2011 | Springer-Verlag New York Inc. ISBN: 9781461286370 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Kurt Gödel and the Foundations of Mathematics Horizons of Truth von Matthias Baaz; Christos H. Papadimitriou; Hilary W... Buch | Softcover 2014 | Cambridge University Press ISBN: 9781107677999 CHF 108,20 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
To Infinity and Beyond A Cultural History of the Infinite von Eli Maor Buch | Softcover 2011 | Springer-Verlag New York Inc. ISBN: 9781461253969 CHF 134,80 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Chow Rings, Decomposition of the Diagonal, and the Topology of Families von Claire Voisin Buch | Hardcover 2014 | Princeton University Press ISBN: 9780691160504 CHF 328,20 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Geometric Calculus According to the Ausdehnungslehre of H. Grassmann von Giuseppe Peano Buch | Softcover 2011 | Springer-Verlag New York Inc. ISBN: 9781461274278 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Which Numbers Are Real? von Michael Henle Buch | Hardcover 2012 | Mathematical Association of.. ISBN: 9780883857779 CHF 92,50 (inkl. MwSt) jetzt vorbestellen Titel z.Zt. nicht lieferbar
Logical Inquiries Basic Issues in Philosophical Logic von Nicholas Rescher Buch | Hardcover 2014 | Auflage: 1 | De Gruyter ISBN: 9783110344837 CHF 174,90 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen