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%
Cărți logica matematică
1-96 din 699 rezultate
Mathematical Logic
Autor H.-D. Ebbinghaus et al.
11 dec 2012
Paperback
Preț: 460.14 lei
38-44 zile
Classical Descriptive Set Theory
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
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
Autor Kurt Gödel et al.
27 mar 2003
Hardback
Preț: 1738.43 lei 2489.09 lei
40-51 zile
-30%
Simplicity Theory
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
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
Autor Bruno Poizat et al.
8 oct 2012
Paperback
Preț: 461.63 lei 543.09 lei
43-57 zile
-15%
Model Theory : An Introduction
Autor David Marker
21 aug 2002
Hardback
Preț: 445.45 lei
43-57 zile
Lectures on the Curry-Howard Isomorphism
Autor Morten Heine Sørensen et al.
4 iul 2006
Hardback
Preț: 753.37 lei 1035.27 lei
36-50 zile
-27%
Inductive Logic
Editat de Dov M. Gabbay et al.
5 mai 2011
Hardback
Preț: 1182.68 lei 1618.75 lei
36-50 zile
-27%
Metalogic
Autor Hunter
30 iun 1992
Paperback
Preț: 254.55 lei
43-57 zile
Model Theory
Autor Wilfrid Hodges
18 iun 2008
Paperback
Preț: 553.73 lei 622.18 lei
43-57 zile
-11%
Subsystems of Second Order Arithmetic
Autor Stephen G. Simpson
17 feb 2010
Paperback
Preț: 435.53 lei
43-57 zile
Principia Mathematica to *56
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
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
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
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
Autor Ethan D. Bloch
19 apr 2013
Paperback
Preț: 504.89 lei
38-44 zile
Combinatorial Set Theory: With a Gentle Introduction to Forcing
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
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
Autor Yu I. Manin et al.
3 mar 2012
Paperback
Preț: 475.01 lei
43-57 zile
An Invitation to Abstract 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
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
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
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
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
Editat de Jean-Yves Béziau
2 apr 2012
Paperback
Preț: 384.13 lei
43-57 zile
Towards a General Theory of Classifications
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
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
Autor Christopher S. Hardin et al.
23 aug 2016
Paperback
Preț: 363.99 lei
43-57 zile
Duality Theories for Boolean Algebras with Operators
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
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
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
Autor Leonid Libkin
3 dec 2010
Paperback
Preț: 563.34 lei 662.75 lei
43-57 zile
-15%
Theory of Sets
Autor N. Bourbaki
20 oct 2004
Paperback
Preț: 476.32 lei
43-57 zile
Finite Model Theory: Second Edition
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
Autor Akihiro Kanamori
28 noi 2008
Paperback
Preț: 868.85 lei 1059.57 lei
43-57 zile
-18%
Set Theory
Autor Thomas Jech
2 ian 2013
Paperback
Preț: 1194.65 lei 1456.89 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
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
Autor Carlo Cellucci
23 aug 2016
Paperback
Preț: 616.29 lei 770.36 lei
38-44 zile
-20%
Reflections
Autor Raymond M. Smullyan
28 mai 2015
Paperback
Preț: 202.22 lei
43-57 zile
Mathematical Logic: Part 2: Recursion Theory, Godel's Theorems, Set Theory, Model Theory
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
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
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
Autor John L. Bell
5 mai 2011
Paperback
Preț: 334.60 lei 396.79 lei
40-51 zile
-16%
Multiple Forcing
Autor T. Jech
24 noi 2010
Paperback
Preț: 315.88 lei
43-57 zile
Forcing with Random Variables and Proof Complexity
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
Autor George Tourlakis
8 sep 2010
Paperback
Preț: 417.72 lei
43-57 zile
Godel's Proof
Autor Ernest Nagel et al.
14 sep 2018
Paperback
Preț: 67.68 lei
43-57 zile
Notes on Set Theory
Autor Yiannis Moschovakis
8 dec 2005
Paperback
Preț: 468.74 lei
43-57 zile
A Course in Model Theory
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
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
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
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
Autor Kees Doets et al.
6 mai 2004
Paperback
Preț: 186.72 lei
43-57 zile
Introduction to Mathematical Structures and Proofs
Autor Larry J. Gerstein
23 aug 2016
Paperback
Preț: 385.64 lei
43-57 zile
Mathematical Logic for Computer Science (2nd Edition)
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
Autor Sujit Kumar Mitra et al.
30 mar 2010
Hardback
Preț: 677.59 lei 797.17 lei
43-57 zile
-15%
Diamond
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
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
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