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ț: 537.46 lei 632.31 lei 6-8 săpt. -15%
An Introduction to Lambda Calculi for Computer Scientists Texts in Computing Autor C. Hankin feb 2004 Paperback Preț: 147.30 lei 6-8 săpt.
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ț: 1616.71 lei 2298.67 lei 31-37 zile -30%
Sets for Mathematics Autor F. William Lawvere et al. 19 ian 2003 Hardback Preț: 1160.59 lei 1349.52 lei 6-8 săpt. -14%
Set Theory: The Third Millennium Edition, revised and expanded Springer Monographs in Mathematics Autor Thomas Jech 2 ian 2013 Paperback Preț: 1239.99 lei 1512.18 lei 6-8 săpt. -18%
The Honors Class: Hilbert's Problems and Their Solvers Autor Ben Yandell 12 dec 2001 Paperback Preț: 358.50 lei 6-8 săpt.
A Gardner's Workout: Training the Mind and Entertaining the Spirit Autor Martin Gardner 17 dec 2019 Paperback Preț: 461.03 lei 542.39 lei 6-8 săpt. -15%
The Dots and Boxes Game: Sophisticated Child's Play AK Peters/CRC Recreational Mathematics Series Autor Elwyn R. Berlekamp 18 iul 2000 Paperback Preț: 179.93 lei 220.64 lei 6-8 săpt. -18%
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic Universitext Autor Bruno Poizat et al. 8 oct 2012 Paperback Preț: 498.34 lei 6-8 săpt.
Foundations without Foundationalism: A Case for Second-Order Logic Autor Stewart Shapiro 23 mar 2000 Paperback Preț: 333.49 lei 429.48 lei 31-37 zile -22%
Practical Foundations of Mathematics Cambridge Studies in Advanced Mathematics, nr. 59 Autor Paul Taylor 12 mai 1999 Hardback Preț: 1185.09 lei 1378.02 lei 6-8 săpt. -14%
The Mathemagician and Pied Puzzler: A Collection in Tribute to Martin Gardner Editat de Elwyn R. Berlekamp et al. 8 mar 1999 Hardback Preț: 601.10 lei 841.30 lei 6-8 săpt. -29%
Sets, Logic and Categories Springer Undergraduate Mathematics Series Autor Peter J. Cameron 22 ian 1999 Paperback Preț: 249.80 lei 38-44 zile
Schaum's Outline of Set Theory and Related Topics Autor Seymour Lipschutz 16 aug 1998 Paperback Preț: 148.60 lei 174.49 lei 43-49 zile | 7-13 zile -15%
The Mathematical Olympiad Handbook: An Introduction to Problem Solving based on the First 32 British Mathematical Olympiads 1965-1996 Autor A. Gardiner 11 sep 1997 Paperback Preț: 435.33 lei 506.73 lei 31-37 zile -14%
Principia Mathematica to *56 Cambridge Mathematical Library Autor Alfred North Whitehead et al. 10 sep 1997 Paperback Preț: 751.97 lei 874.38 lei 6-8 săpt. -14%
Set Theory, Logic and their Limitations Autor Moshe Machover 22 mai 1996 Paperback Preț: 417.64 lei 6-8 săpt.
Categories for Types Autor Roy L. Crole 26 ian 1994 Paperback Preț: 570.51 lei 641.01 lei 6-8 săpt. -11%
Model Theory Encyclopedia of Mathematics and its Applications, nr. 42 Autor Wilfrid Hodges 18 iun 2008 Paperback Preț: 547.93 lei 615.66 lei 6-8 săpt. -11%
Kurt Gödel: Collected Works: Volume V Autor Kurt Gödel et al. 9 ian 2014 Paperback Preț: 566.22 lei 679.06 lei 31-37 zile -17%
Introduction to Higher-Order Categorical Logic Cambridge Studies in Advanced Mathematics, nr. 7 Autor J. Lambek et al. 24 mar 1988 Paperback Preț: 473.91 lei 532.48 lei 6-8 săpt. -11%
Set Theory An Introduction To Independence Proofs Studies in Logic and the Foundations of Mathematics, nr. 102 Autor K. Kunen 30 noi 1983 Hardback Preț: 328.09 lei 387.31 lei 5-7 săpt. | 7-13 zile -15%
Introduction to Metamathematics Bibliotheca Mathematica Autor S.C. Kleene 31 dec 1979 Hardback Preț: 759.39 lei 1040.27 lei 6-8 săpt. -27%
Elements of Set Theory Autor Herbert B. Enderton 23 mai 1977 Hardback Preț: 346.00 lei 460.82 lei 5-7 săpt. | 7-13 zile -25%
Set Theory: Boolean-Valued Models and Independence Proofs Oxford Logic Guides, nr. 47 Autor John L. Bell 5 mai 2011 Paperback Preț: 352.46 lei 31-37 zile
Brouwer's Cambridge Lectures on Intuitionism Editat de D. van Dalen et al. 27 apr 2011 Paperback Preț: 306.88 lei 6-8 săpt.
Defending the Axioms: On the Philosophical Foundations of Set Theory Autor Penelope Maddy 7 mar 2013 Paperback Preț: 245.30 lei 259.68 lei 31-37 zile -6%
Forcing with Random Variables and Proof Complexity London Mathematical Society Lecture Note Series, nr. 382 Autor Jan Krajíček 22 dec 2010 Paperback Preț: 448.06 lei 6-8 săpt.
The Logic of Quantum Mechanics: Volume 15 Encyclopedia of Mathematics and its Applications, nr. 15 Autor Enrico G. Beltrametti et al. 8 dec 2010 Paperback Preț: 435.51 lei 489.33 lei 6-8 săpt. -11%
Multiple Forcing Cambridge Tracts in Mathematics, nr. 88 Autor T. Jech 24 noi 2010 Paperback Preț: 309.39 lei 6-8 săpt.
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ț: 409.13 lei 6-8 săpt.
In Defence of Objective Bayesianism Autor Jon Williamson 13 mai 2010 Hardback Preț: 579.43 lei 740.92 lei 31-37 zile -22%
Computing with Cells: Advances in Membrane Computing Autor Pierluigi Frisco 20 mai 2009 Hardback Preț: 703.71 lei 1008.75 lei 31-37 zile -30%
Proof and Disproof in Formal Logic: An Introduction for programmers Oxford Texts in Logic Autor Richard Bornat 21 iul 2005 Paperback Preț: 388.54 lei 535.89 lei 31-37 zile -27%
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ț: 1010.23 lei 1466.59 lei 31-37 zile -31%
Set Theory with a Universal Set: Exploring an Untyped Universe Oxford Logic Guides, nr. 31 Autor T. E. Forster 24 aug 1995 Hardback Preț: 453.79 lei 628.43 lei 31-37 zile -28%
Automorphisms of First-order Structures Autor Richard Kaye et al. 11 aug 1994 Hardback Preț: 549.74 lei 827.42 lei 31-37 zile -34%
Sets: An Introduction Michael D. Potter 3 ian 1991 Paperback Preț: 128.85 lei 165.24 lei 31-37 zile -22%
A Course in Model Theory Lecture Notes in Logic, nr. 40 Autor Katrin Tent et al. 7 mar 2012 Hardback Preț: 453.27 lei 509.30 lei 6-8 săpt. -11%
Essential Mathematical Methods for the Physical Sciences Autor K. F. Riley et al. 16 feb 2011 Hardback Preț: 620.58 lei 697.28 lei 6-8 săpt. -11%
Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4 Autor Stephen L. Campbell et al. 21 dec 2009 Hardback Preț: 403.15 lei 6-8 săpt.
The Prince of Mathematics: Carl Friedrich Gauss Autor M. B. W. Tent 23 oct 2008 Paperback Preț: 176.37 lei 6-8 săpt.
Notes on Set Theory Undergraduate Texts in Mathematics Autor Yiannis Moschovakis 8 dec 2005 Paperback Preț: 487.37 lei 6-8 săpt.
Basic Category Theory of Computer Scientists Autor Benjamin C. Pierce et al. 29 sep 1991 Paperback Preț: 267.69 lei 6-8 săpt.
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ț: 1104.82 lei 1535.71 lei 5-7 săpt. -28%
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ț: 389.70 lei 6-8 săpt.
Nonlinear Dimensionality Reduction Information Science and Statistics Autor John A. Lee et al. 5 dec 2007 Hardback Preț: 897.65 lei 1094.69 lei 6-8 săpt. -18%
An Investigation of the Laws of Thought Autor George Boole apr 2010 Paperback Preț: 103.43 lei 6-8 săpt.
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ț: 194.34 lei 6-8 săpt.
Modern Logic: A Text in Elementary Symbolic Logic Autor Graeme Forbes 7 apr 1994 Paperback Preț: 811.25 lei 991.84 lei 31-37 zile -18%
Slicing the Truth Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, nr. 28 Autor Denis R Hirschfeldt 14 sep 2014 Hardback Preț: 333.81 lei 6-8 săpt.
AHA..... That Is Interesting!: John Holland, 85 Years Young Exploring Complexity, nr. 1 Autor Jan W. Vasbinder 14 sep 2014 Hardback Preț: 329.02 lei 6-8 săpt.
E-Recursion, Forcing and C*-Algebras Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, nr. 27 Editat de Chitat Chong et al. 29 mai 2014 Paperback Preț: 203.26 lei 6-8 săpt.
Forcing for Mathematicians: A Headhunters Guide to Career Strategy Autor Nik Weaver 23 ian 2014 Hardback Preț: 454.61 lei 6-8 săpt.
Notes on Forcing Axioms: Population, Agriculture Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, nr. 26 Autor Stevo Todorcevic et al. 25 dec 2013 Hardback Preț: 448.28 lei 527.38 lei 6-8 săpt. -15%
Infinity and Truth: Long-Run Growth and Short-Run Fluctuations Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, nr. 25 Editat de CHITAT CHONG et al. 27 noi 2013 Hardback Preț: 478.00 lei 6-8 săpt.
Reading, Writing, and Proving: A Closer Look at Mathematics Undergraduate Texts in Mathematics Autor Ulrich Daepp et al. aug 2013 Paperback Preț: 447.35 lei 526.29 lei 6-8 săpt. -15%
Proceedings of the 12th Asian Logic Conference Editat de Jorg Brendle et al. 6 mai 2013 Hardback Preț: 777.27 lei 947.89 lei 6-8 săpt. -18%
Number Theory Series on Number Theory and Its Applications, nr. 8 Editat de Shigeru Kanemitsu et al. 19 feb 2013 Hardback Preț: 811.27 lei 989.35 lei 6-8 săpt. -18%
Introduction to Mathematical Structures and Proofs Undergraduate Texts in Mathematics Autor Larry J. Gerstein 23 aug 2016 Paperback Preț: 400.85 lei 6-8 săpt.
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ț: 971.86 lei 1185.20 lei 6-8 săpt. -18%
Introduction to Mathematical Logic Autor Michal Walicki 31 ian 2012 Paperback Preț: 301.10 lei 6-8 săpt.
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ț: 650.75 lei 765.59 lei 6-8 săpt. -15%
Proceedings of the 11th Asian Logic Conference Editat de Toshiyasu Arai et al. 9 aug 2011 Hardback Preț: 641.76 lei 755.01 lei 6-8 săpt. -15%
Automata, Formal Languages and Algebraic Systems Editat de Masami Ito et al. 23 sep 2010 Hardback Preț: 617.62 lei 726.61 lei 6-8 săpt. -15%
Matrix Partial Orders, Shorted Operators and Applications Series in Algebra, nr. 10 Autor Sujit Kumar Mitra et al. 30 mar 2010 Hardback Preț: 704.82 lei 829.21 lei 6-8 săpt. -15%
Diamond Series on Knots and Everything (Hardcover), nr. 23 Autor N. S. Hellerstein 25 ian 2010 Hardback Preț: 669.24 lei 787.34 lei 6-8 săpt. -15%
Lecture Notes on Mathematical Olympiad Courses Mathematical Olympiad, nr. 06 Autor Xu Jiagu 10 dec 2009 Paperback Preț: 181.43 lei 6-8 săpt.
Perspectives in Mathematical Sciences II Statistical Science and Interdisciplinary Research, nr. 08 Editat de Mohan Delampady et al. 30 iun 2009 Hardback Preț: 597.41 lei 702.83 lei 6-8 săpt. -15%
Analysis and Control of Nonlinear Systems with Stationary Sets: Time-Domain and Frequency-Domain Methods Autor JINZHI WANG et al. 11 mar 2009 Hardback Preț: 703.90 lei 828.11 lei 6-8 săpt. -15%
Hilbert-Huang Transform and Its Applications Interdisciplinary Mathematical Sciences, nr. 5 Editat de Norden E Huang et al. 20 sep 2005 Hardback Preț: 1183.54 lei 1443.34 lei 6-8 săpt. -18%
Mathematical Logic for Computer Science (2nd Edition) Computer Science, nr. 0047 Autor Z-W Lu et al. 31 iul 1998 Hardback Preț: 491.49 lei 578.22 lei 6-8 săpt. -15%
Sixth Asian Logic Conference: Proceeding Editat de Chi Tat Chong et al. 31 mar 1998 Paperback Preț: 609.84 lei 717.45 lei 6-8 săpt. -15%
Fuzzy Topology Series on Neutron Techniques and Applications, nr. 09 Autor Ying Ming Liu et al. 31 ian 1998 Hardback Preț: 762.34 lei 929.69 lei 6-8 săpt. -18%
Fields Medallists' Lectures World Scientific Series in 20th Century Mathematics (Paperback), nr. 05 Editat de Michael Francis Atiyah et al. 30 sep 1997 Paperback Preț: 458.67 lei 539.62 lei 6-8 săpt. -15%
Information, Randomness & Incompleteness: Papers on Algorithmic Information Theory Series in Automation,, nr. 8 Autor Gregory J. Chaitin 30 noi 1987 Paperback Preț: 448.18 lei 527.28 lei 6-8 săpt. -15%
Naïve Set Theory: A Rigorous Approach Autor Fabio Ferrari Ruffino 21 feb 2025 Hardback Preț: 700.34 lei 823.92 lei 6-8 săpt. -15% Nou
Mathematical Theory of Fuzzy Sets Autor Hsien-Chung Wu 13 dec 2024 Hardback Preț: 1320.76 lei 1451.39 lei 6-8 săpt. -9%
Modeling and Control of Dynamic Spatially Distributed Systems: Pharmaceutical Processes Emerging Methodologies and Applications in Modelling, Identification and Control Autor Yizhi Wang et al. 13 noi 2024 Paperback Preț: 944.85 lei 1038.30 lei 5-7 săpt. -9%
Mechanizing Hypothesis Formation: Principles and Case Studies Autor Jan Rauch et al. 9 oct 2024 Paperback Preț: 480.01 lei 564.71 lei 6-8 săpt. -15%
Institution-independent Model Theory Studies in Universal Logic Autor Răzvan Diaconescu 13 oct 2024 Hardback Preț: 1127.78 lei 1375.34 lei 6-8 săpt. -18%
Concepts of Fuzzy Mathematics Forum for Interdisciplinary Mathematics Autor Manoranjan Kumar Singh 5 oct 2024 Hardback Preț: 496.71 lei 584.37 lei 6-8 săpt. -15%
An Introduction to Naïve Set Theory and its Applications University Texts in the Mathematical Sciences Autor Shashi Mohan Srivastava 17 oct 2024 Hardback Preț: 420.20 lei 6-8 săpt.
Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis Autor Serafim Batzoglou 23 sep 2024 Hardback Preț: 797.98 lei 1049.97 lei 38-44 zile -24%
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof Autor Dirk W. Hoffmann 11 sep 2024 Paperback Preț: 394.51 lei 6-8 săpt.
Transition to Advanced Mathematics Textbooks in Mathematics Autor Danilo R. Diedrichs et al. 26 aug 2024 Paperback Preț: 464.55 lei 546.54 lei 6-8 săpt. -15%
Philosophy of Mathematics in Antiquity and in Modern Times Science Networks. Historical Studies, nr. 62 Autor Ulrich Felgner 11 iun 2024 Paperback Preț: 685.74 lei 902.30 lei 38-44 zile -24%
Propositional Quantifiers Elements in Philosophy and Logic Autor Peter (University of Oslo) Fritz 16 mai 2024 Paperback Preț: 129.90 lei 6-8 săpt.
Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021) Studies in Universal Logic Editat de Timothy J. Madigan et al. 14 mai 2024 Hardback Preț: 787.78 lei 960.71 lei 6-8 săpt. -18%
From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career Lecture Notes in Computer Science, nr. 14070 Editat de Domenico Cantone et al. 16 mar 2024 Paperback Preț: 454.16 lei 6-8 săpt.
Essentials of Fuzzy Soft Multisets: Theory and Applications Autor Anjan Mukherjee et al. 3 mar 2024 Paperback Preț: 621.98 lei 818.39 lei 38-44 zile -24%
Differential Calculus in Several Variables: A Learning-by-Doing Approach Textbooks in Mathematics Autor Marius Ghergu 6 feb 2024 Paperback Preț: 384.01 lei 417.40 lei 6-8 săpt. | 7-13 zile -8%
Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019) Studies in Universal Logic Editat de Jean-Yves Béziau et al. 12 ian 2024 Paperback Preț: 1129.96 lei 1378.00 lei 6-8 săpt. -18%