The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs Autor Antonella Cupillari 21 mar 2023 Paperback Preț: 320.07 lei 434.33 lei 15-29 zile | 5-11 zile -26%
Mathematical Logic Undergraduate Texts in Mathematics Autor H.-D. Ebbinghaus et al. 11 dec 2012 Paperback Preț: 460.14 lei 38-44 zile
Classical Descriptive Set Theory Graduate Texts in Mathematics, nr. 156 Autor Alexander Kechris 21 dec 2011 Paperback Preț: 458.89 lei 539.86 lei 43-57 zile -15%
An Invitation to Applied Category Theory: Seven Sketches in Compositionality Autor Brendan Fong et al. 17 iul 2019 Paperback Preț: 388.28 lei 22-36 zile | 5-11 zile
Symbolic Logic and the Game of Logic Autor Lewis Carroll 31 mai 1958 Paperback Preț: 87.36 lei 22-36 zile
Reading, Writing, and Proving Undergraduate Texts in Mathematics Autor Ulrich Daepp et al. 29 iun 2011 Hardback Preț: 436.05 lei 513.01 lei 22-36 zile -15%
Kurt Gödel: Collected Works: Volume V Autor Kurt Gödel et al. 9 ian 2014 Paperback Preț: 611.03 lei 734.36 lei 40-51 zile -17%
Foundations without Foundationalism: A Case for Second-Order Logic Autor Stewart Shapiro 23 mar 2000 Paperback Preț: 360.54 lei 474.79 lei 40-51 zile -24%
Kurt Gödel: Collected Works: Volume IV: Selected Correspondence, A-G Collected Works Series, nr. IV Autor Kurt Gödel et al. 27 mar 2003 Hardback Preț: 1738.43 lei 2489.09 lei 40-51 zile -30%
Simplicity Theory Oxford Logic Guides, nr. 53 Autor Byunghan Kim 17 oct 2013 Hardback Preț: 673.45 lei 931.21 lei 40-51 zile -28%
Category Theory Autor Steve Awodey 17 iun 2010 Paperback Preț: 417.92 lei 541.14 lei 40-51 zile | 5-11 zile -23%
Not Exactly: In Praise of Vagueness Autor Kees van Deemter 24 mai 2012 Paperback Preț: 112.34 lei 134.79 lei 40-51 zile -17%
Taking Sudoku Seriously: The Math Behind the World's Most Popular Pencil Puzzle Autor Jason Rosenhouse et al. 16 feb 2012 Hardback Preț: 263.63 lei 342.34 lei 40-51 zile -23%
Introduction to Boolean Algebras Autor Steven Givant et al. 2 dec 2008 Hardback Preț: 426.88 lei 43-57 zile
Naive Set Theory Undergraduate Texts in Mathematics Autor P. R. Halmos 12 ian 2014 Paperback Preț: 552.94 lei 650.52 lei 43-57 zile -15%
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic Universitext Autor Bruno Poizat et al. 8 oct 2012 Paperback Preț: 461.63 lei 543.09 lei 43-57 zile -15%
Model Theory : An Introduction Graduate Texts in Mathematics Autor David Marker 21 aug 2002 Hardback Preț: 445.45 lei 43-57 zile
Lectures on the Curry-Howard Isomorphism Studies in Logic and the Foundations of Mathematics, nr. 149 Autor Morten Heine Sørensen et al. 4 iul 2006 Hardback Preț: 753.37 lei 1035.27 lei 36-50 zile -27%
Inductive Logic Handbook of the History of Logic, nr. 10 Editat de Dov M. Gabbay et al. 5 mai 2011 Hardback Preț: 1182.68 lei 1618.75 lei 36-50 zile -27%
Model Theory Encyclopedia of Mathematics and its Applications, nr. 42 Autor Wilfrid Hodges 18 iun 2008 Paperback Preț: 553.73 lei 622.18 lei 43-57 zile -11%
Subsystems of Second Order Arithmetic Perspectives in Logic Autor Stephen G. Simpson 17 feb 2010 Paperback Preț: 435.53 lei 43-57 zile
Principia Mathematica to *56 Cambridge Mathematical Library Autor Alfred North Whitehead et al. 10 sep 1997 Paperback Preț: 764.33 lei 888.77 lei 43-57 zile -14%
Alfred Tarski: Life and Logic Autor Anita Burdman Feferman et al. 6 apr 2008 Paperback Preț: 246.36 lei 43-57 zile
Conceptual Mathematics: A First Introduction to Categories Autor F. William Lawvere et al. 29 iul 2009 Paperback Preț: 414.29 lei 43-57 zile
Lambda Calculus with Types Perspectives in Logic Autor Henk Barendregt et al. 19 iun 2013 Hardback Preț: 623.56 lei 700.63 lei 43-57 zile -11%
Taming the Unknown – A History of Algebra from Antiquity to the Early Twentieth Century Autor Victor J. Katz et al. 8 apr 2020 Paperback Preț: 350.74 lei 43-57 zile
A Beginner's Guide to Discrete Mathematics Autor W.D. Wallis 7 oct 2011 Hardback Preț: 520.27 lei 612.08 lei 43-57 zile -15%
An Introduction to Lambda Calculi for Computer Scientists Texts in Computing Autor C. Hankin feb 2004 Paperback Preț: 141.51 lei 43-57 zile
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth Editat de Matthias Baaz et al. 26 mar 2014 Paperback Preț: 494.35 lei 555.44 lei 43-57 zile -11%
Brouwer Meets Husserl Autor Mark van Atten 9 noi 2006 Hardback Preț: 910.28 lei 1110.09 lei 43-57 zile -18%
A Course in Mathematical Logic for Mathematicians Autor Yu I Manin et al. 30 oct 2009 Hardback Preț: 481.68 lei 43-57 zile
The Art of Proof: Basic Training for Deeper Mathematics Undergraduate Texts in Mathematics Autor Matthias Beck et al. 31 aug 2010 Hardback Preț: 278.38 lei 43-57 zile
Proofs and Fundamentals: A First Course in Abstract Mathematics Undergraduate Texts in Mathematics Autor Ethan D. Bloch 19 apr 2013 Paperback Preț: 504.89 lei 38-44 zile
Combinatorial Set Theory: With a Gentle Introduction to Forcing Springer Monographs in Mathematics Autor Lorenz J. Halbeisen 4 iun 2019 Paperback Preț: 974.44 lei 1188.33 lei 43-57 zile -18%
The Joy of Sets: Fundamentals of Contemporary Set Theory Undergraduate Texts in Mathematics Autor Keith Devlin 6 oct 2012 Paperback Preț: 421.53 lei 495.93 lei 43-57 zile -15%
A Course in Mathematical Logic for Mathematicians Graduate Texts in Mathematics, nr. 53 Autor Yu I. Manin et al. 3 mar 2012 Paperback Preț: 475.01 lei 43-57 zile
An Invitation to Abstract Mathematics Undergraduate Texts in Mathematics Autor Béla Bajnok 28 oct 2021 Paperback Preț: 382.49 lei 43-57 zile
Alfred Tarski: Early Work in Poland—Geometry and Teaching Editat de Andrew McFarland et al. 21 sep 2016 Paperback Preț: 632.33 lei 743.92 lei 43-57 zile -15%
The Principles of Mathematics Autor Russell Bertrand et al. 21 iun 2008 Paperback Preț: 200.98 lei 43-57 zile
Sets, Logic and Categories Springer Undergraduate Mathematics Series Autor Peter J. Cameron 22 ian 1999 Paperback Preț: 270.20 lei 38-44 zile
Propositional and Predicate Calculus: A Model of Argument Autor Derek Goldrei 8 sep 2005 Paperback Preț: 476.17 lei 43-57 zile
Incompleteness in the Land of Sets Studies in Logic Autor M. Fitting 18 feb 2007 Paperback Preț: 219.08 lei 43-57 zile
Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics Studies in Universal Logic Autor Saloua Chatti 24 dec 2019 Paperback Preț: 565.51 lei 665.31 lei 43-57 zile -15%
Decidability of Logical Theories and Their Combination Studies in Universal Logic Autor João Rasga et al. 21 oct 2020 Hardback Preț: 458.91 lei 38-44 zile
Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay Studies in Universal Logic Editat de Jean-Yves Béziau 2 apr 2012 Paperback Preț: 384.13 lei 43-57 zile
Towards a General Theory of Classifications Studies in Universal Logic Autor Daniel Parrochia et al. 28 mai 2013 Paperback Preț: 619.12 lei 728.38 lei 43-57 zile -15%
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction Springer Monographs in Mathematics Autor Pavel Pudlák 23 aug 2016 Paperback Preț: 1083.62 lei 1321.49 lei 43-57 zile -18%
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems Developments in Mathematics, nr. 33 Autor Christopher S. Hardin et al. 23 aug 2016 Paperback Preț: 363.99 lei 43-57 zile
Duality Theories for Boolean Algebras with Operators Springer Monographs in Mathematics Autor Steven Givant 17 sep 2016 Paperback Preț: 370.84 lei 43-57 zile
The Life and Work of Leon Henkin: Essays on His Contributions Studies in Universal Logic Editat de María Manzano et al. 6 noi 2014 Paperback Preț: 380.82 lei 43-57 zile
The Lvov-Warsaw School. Past and Present Editat de Ángel Garrido et al. 19 dec 2018 Paperback Preț: 887.47 lei 1082.28 lei 43-57 zile -18%
Ordered Sets: An Introduction with Connections from Combinatorics to Topology Autor Bernd Schröder 26 mai 2018 Paperback Preț: 474.35 lei 38-44 zile
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions Texts in Theoretical Computer Science. An EATCS Series Autor Yves Bertot et al. 15 dec 2010 Paperback Preț: 516.79 lei 607.99 lei 43-57 zile -15%
Elements of Finite Model Theory Texts in Theoretical Computer Science. An EATCS Series Autor Leonid Libkin 3 dec 2010 Paperback Preț: 563.34 lei 662.75 lei 43-57 zile -15%
Finite Model Theory: Second Edition Springer Monographs in Mathematics Autor Heinz-Dieter Ebbinghaus et al. 6 oct 2005 Hardback Preț: 1073.16 lei 1308.73 lei 43-57 zile -18%
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings Springer Monographs in Mathematics Autor Akihiro Kanamori 28 noi 2008 Paperback Preț: 868.85 lei 1059.57 lei 43-57 zile -18%
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies Autor Wolfgang Reisig oct 2016 Paperback Preț: 319.75 lei 399.68 lei 43-57 zile -20%
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux Studies in Universal Logic Autor Olivier Gasquet et al. 9 dec 2013 Paperback Preț: 559.07 lei 657.73 lei 43-57 zile -15%
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method Logic, Argumentation & Reasoning, nr. 1 Autor Carlo Cellucci 23 aug 2016 Paperback Preț: 616.29 lei 770.36 lei 38-44 zile -20%
Mathematical Logic: Part 2: Recursion Theory, Godel's Theorems, Set Theory, Model Theory Mathematical Logic Autor René Cori et al. 12 apr 2001 Hardback Preț: 1081.54 lei 1586.18 lei 40-51 zile -32%
Set Theory with a Universal Set: Exploring an Untyped Universe Oxford Logic Guides, nr. 31 Autor T. E. Forster 24 aug 1995 Hardback Preț: 490.52 lei 649.85 lei 40-51 zile -25%
Proof and Disproof in Formal Logic: An Introduction for programmers Oxford Texts in Logic Autor Richard Bornat 21 iul 2005 Paperback Preț: 423.58 lei 616.18 lei 40-51 zile -31%
Automorphisms of First-order Structures Autor Richard Kaye et al. 11 aug 1994 Hardback Preț: 594.12 lei 894.85 lei 40-51 zile -34%
In Defence of Objective Bayesianism Autor Jon Williamson 13 mai 2010 Hardback Preț: 627.59 lei 729.76 lei 40-51 zile -14%
Computing with Cells: Advances in Membrane Computing Autor Pierluigi Frisco 21 mai 2009 Hardback Preț: 752.09 lei 1136.81 lei 40-51 zile -34%
Set Theory: Boolean-Valued Models and Independence Proofs Oxford Logic Guides, nr. 47 Autor John L. Bell 5 mai 2011 Paperback Preț: 334.60 lei 396.79 lei 40-51 zile -16%
Multiple Forcing Cambridge Tracts in Mathematics, nr. 88 Autor T. Jech 24 noi 2010 Paperback Preț: 315.88 lei 43-57 zile
Forcing with Random Variables and Proof Complexity London Mathematical Society Lecture Note Series, nr. 382 Autor Jan Krajíček 22 dec 2010 Paperback Preț: 405.08 lei 455.14 lei 43-57 zile -11%
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic Cambridge Studies in Advanced Mathematics, nr. 82 Autor George Tourlakis 8 sep 2010 Paperback Preț: 417.72 lei 43-57 zile
Notes on Set Theory Undergraduate Texts in Mathematics Autor Yiannis Moschovakis 8 dec 2005 Paperback Preț: 468.74 lei 43-57 zile
A Course in Model Theory Lecture Notes in Logic, nr. 40 Autor Katrin Tent et al. 7 mar 2012 Hardback Preț: 462.80 lei 520.00 lei 43-57 zile -11%
How to Prove It: A Structured Approach Autor Daniel J. Velleman sep 2019 Paperback Preț: 314.96 lei 43-57 zile | 5-11 zile
Logic: A History of its Central Concepts Handbook of the History of Logic, nr. 11 Editat de Dov M. Gabbay et al. 11 oct 2012 Hardback Preț: 1133.61 lei 1660.94 lei 36-50 zile -32%
Lambda-Calculus and Combinators: An Introduction Autor J. Roger Hindley et al. 23 iul 2008 Hardback Preț: 510.64 lei 573.76 lei 43-57 zile -11%
Transactions on Petri Nets and Other Models of Concurrency III Lecture Notes in Computer Science, nr. 5800 Kurt Jensen et al. 11 noi 2009 Paperback Preț: 374.91 lei 43-57 zile
An Investigation of the Laws of Thought Autor George Boole apr 2010 Paperback Preț: 99.37 lei 43-57 zile
Modern Logic: A Text in Elementary Symbolic Logic Autor Graeme Forbes 7 apr 1994 Paperback Preț: 836.12 lei 1145.36 lei 43-57 zile -27%
Nonlinear Dimensionality Reduction Information Science and Statistics Autor John A. Lee et al. 5 dec 2007 Hardback Preț: 862.81 lei 1052.21 lei 43-57 zile -18%
The Haskell Road to Logic, Maths and Programming. Second Edition: A First Course Texts in Computing Autor Kees Doets et al. 6 mai 2004 Paperback Preț: 186.72 lei 43-57 zile
Introduction to Mathematical Structures and Proofs Undergraduate Texts in Mathematics Autor Larry J. Gerstein 23 aug 2016 Paperback Preț: 385.64 lei 43-57 zile
Mathematical Logic for Computer Science (2nd Edition) Computer Science, nr. 0047 Autor Z-W Lu et al. 31 iul 1998 Hardback Preț: 472.63 lei 556.03 lei 43-57 zile -15%
Sixth Asian Logic Conference: Proceeding Editat de Chi Tat Chong et al. 31 mar 1998 Paperback Preț: 586.32 lei 689.80 lei 43-57 zile -15%
Matrix Partial Orders, Shorted Operators and Applications Series in Algebra, nr. 10 Autor Sujit Kumar Mitra et al. 30 mar 2010 Hardback Preț: 677.59 lei 797.17 lei 43-57 zile -15%
Diamond Series on Knots and Everything (Hardcover), nr. 23 Autor N. S. Hellerstein 25 ian 2010 Hardback Preț: 643.40 lei 756.94 lei 43-57 zile -15%
Automata, Formal Languages and Algebraic Systems Editat de Masami Ito et al. 23 sep 2010 Hardback Preț: 593.81 lei 698.59 lei 43-57 zile -15%
Introduction to Mathematical Logic Autor Michal Walicki 31 ian 2012 Paperback Preț: 289.79 lei 43-57 zile
Proceedings of the 11th Asian Logic Conference Editat de Toshiyasu Arai et al. 9 aug 2011 Hardback Preț: 617.00 lei 725.88 lei 43-57 zile -15%
The Functional Interpretation of Logical Deduction Advances in Logic, nr. 05 Autor Ruy J. G. B. de Queiroz et al. 30 dec 2011 Hardback Preț: 625.64 lei 736.04 lei 43-57 zile -15%
A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, Volume V World Scientific Series on Nonlinear Science, Series a, nr. 80 Autor Leon O. Chua 12 mar 2012 Hardback Preț: 934.14 lei 1139.19 lei 43-57 zile -18%
Proceedings of the 12th Asian Logic Conference Editat de Jorg Brendle et al. 6 mai 2013 Hardback Preț: 747.15 lei 911.17 lei 43-57 zile -18%
Forcing for Mathematicians: A Headhunters Guide to Career Strategy Autor Nik Weaver 23 ian 2014 Hardback Preț: 437.26 lei 43-57 zile