Mathematics iconMathematics

Logic in Mathematics

ExploreBooksRelated topics
Showing 181 - 240 out of 267 books
A First Course in Mathematical Logic and Set Theory_cover
A First Course in Mathematical Logic and Set Theory
2015
A First Course in Mathematical Logic and Set Theory_cover
A First Course in Mathematical Logic and Set Theory
2015
A Guide to NIP Theories_cover
A Guide to NIP TheoriesPierre Simon
2015
A Guide to NIP Theories_cover
A Guide to NIP Theories
Pierre Simon
2015
Pure Inductive Logic_cover
Pure Inductive LogicJeffrey Paris, Alena Vencovská
2015
Pure Inductive Logic_cover
Pure Inductive Logic
Jeffrey Paris, Alena Vencovská
2015
Computational Logic_cover
Computational Logic
2014
Computational Logic_cover
Computational Logic
2014
Recursion Theory and Complexity_cover
Recursion Theory and ComplexityMarat M. Arslanov, Steffen Lempp
2014
Recursion Theory and Complexity_cover
Recursion Theory and Complexity
Marat M. Arslanov, Steffen Lempp
2014
Applications of Model Theory to Functional Analysis_cover
Applications of Model Theory to Functional AnalysisJose Iovino
2014
Applications of Model Theory to Functional Analysis_cover
Applications of Model Theory to Functional Analysis
Jose Iovino
2014
Logic, Computation, Hierarchies_cover
Logic, Computation, HierarchiesVasco Brattka, Hannes Diener, Dieter Spreen
2014
Logic, Computation, Hierarchies_cover
Logic, Computation, Hierarchies
Vasco Brattka, Hannes Diener, Dieter Spreen
2014
Monoidal Topology_cover
Monoidal Topology
2014
Monoidal Topology_cover
Monoidal Topology
2014
Matrix Logic_cover
Matrix LogicA. Stern
2014
Matrix Logic_cover
Matrix Logic
A. Stern
2014
Algorithms and Complexity_cover
Algorithms and ComplexityBozzano G Luisa
2014
Algorithms and Complexity_cover
Algorithms and Complexity
Bozzano G Luisa
2014
Higher Order Logic Theorem Proving and its Applications_cover
Higher Order Logic Theorem Proving and its ApplicationsL.J.M. Claesen, M.J.C. Gordon
2014
Higher Order Logic Theorem Proving and its Applications_cover
Higher Order Logic Theorem Proving and its Applications
L.J.M. Claesen, M.J.C. Gordon
2014
Essentials of Elementary School Mathematics_cover
Essentials of Elementary School MathematicsMax D. Larsen, James L. Fejfar
2014
Essentials of Elementary School Mathematics_cover
Essentials of Elementary School Mathematics
Max D. Larsen, James L. Fejfar
2014
Mathematical Logic and Formalized Theories_cover
Mathematical Logic and Formalized TheoriesRobert L. Rogers
2014
Mathematical Logic and Formalized Theories_cover
Mathematical Logic and Formalized Theories
Robert L. Rogers
2014
Philosophy and Foundations of Mathematics_cover
Philosophy and Foundations of Mathematics
2014
Philosophy and Foundations of Mathematics_cover
Philosophy and Foundations of Mathematics
2014
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations_cover
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations
2014
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations_cover
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations
2014
Turing's Legacy_cover
Turing's Legacy
2014
Turing's Legacy_cover
Turing's Legacy
2014
Math Bytes_cover
Math BytesTim P. Chartier
2014
Math Bytes_cover
Math Bytes
Tim P. Chartier
2014
Understanding Mathematical Logic and its Applications_cover
Understanding Mathematical Logic and its Applications
2014
Understanding Mathematical Logic and its Applications_cover
Understanding Mathematical Logic and its Applications
2014
Russell's Philosophy of Logical Analysis, 1897-1905_cover
Russell's Philosophy of Logical Analysis, 1897-1905J. Galaugher
2013
Russell's Philosophy of Logical Analysis, 1897-1905_cover
Russell's Philosophy of Logical Analysis, 1897-1905
J. Galaugher
2013
Effective Mathematics of the Uncountable_cover
Effective Mathematics of the Uncountable
2013
Effective Mathematics of the Uncountable_cover
Effective Mathematics of the Uncountable
2013
Extrapolation Methods_cover
Extrapolation MethodsC. Brezinski, M. Redivo Zaglia
2013
Extrapolation Methods_cover
Extrapolation Methods
C. Brezinski, M. Redivo Zaglia
2013
Canonical Ramsey Theory on Polish Spaces_cover
Canonical Ramsey Theory on Polish SpacesVladimir Kanovei, Marcin Sabok, Jind?ich Zapletal
2013
Canonical Ramsey Theory on Polish Spaces_cover
Canonical Ramsey Theory on Polish Spaces
Vladimir Kanovei, Marcin Sabok, Jind?ich Zapletal
2013
Coherence in Three-Dimensional Category Theory_cover
Coherence in Three-Dimensional Category TheoryNick Gurski
2013
Coherence in Three-Dimensional Category Theory_cover
Coherence in Three-Dimensional Category Theory
Nick Gurski
2013
Logicism and its Philosophical Legacy_cover
Logicism and its Philosophical LegacyWilliam Demopoulos
2013
Logicism and its Philosophical Legacy_cover
Logicism and its Philosophical Legacy
William Demopoulos
2013
Studies in Logic and Probability_cover
Studies in Logic and ProbabilityGeorge Boole
2012
Studies in Logic and Probability_cover
Studies in Logic and Probability
George Boole
2012
Appalachian Set Theory_cover
Appalachian Set Theory
2012
Appalachian Set Theory_cover
Appalachian Set Theory
2012
Wadge Degrees and Projective Ordinals_cover
Wadge Degrees and Projective Ordinals
2011
Wadge Degrees and Projective Ordinals_cover
Wadge Degrees and Projective Ordinals
2011
Theorems, Corollaries, Lemmas, and Methods of Proof_cover
Theorems, Corollaries, Lemmas, and Methods of ProofRichard J. Rossi
2011
Theorems, Corollaries, Lemmas, and Methods of Proof_cover
Theorems, Corollaries, Lemmas, and Methods of Proof
Richard J. Rossi
2011
Logic of Mathematics_cover
Logic of MathematicsZofia Adamowicz, Pawel Zbierski
2011
Logic of Mathematics_cover
Logic of Mathematics
Zofia Adamowicz, Pawel Zbierski
2011
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2_cover
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2
2011
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2_cover
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2
2011
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1_cover
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
2011
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1_cover
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
2011
Quantifiers, Propositions and Identity_cover
Quantifiers, Propositions and IdentityRobert Goldblatt
2011
Quantifiers, Propositions and Identity_cover
Quantifiers, Propositions and Identity
Robert Goldblatt
2011
Simple Theories and Hyperimaginaries_cover
Simple Theories and HyperimaginariesEnrique Casanovas
2011
Simple Theories and Hyperimaginaries_cover
Simple Theories and Hyperimaginaries
Enrique Casanovas
2011
Logic in Elementary Mathematics_cover
Logic in Elementary MathematicsRobert M. Exner
2011
Logic in Elementary Mathematics_cover
Logic in Elementary Mathematics
Robert M. Exner
2011
Independence-Friendly Logic_cover
Independence-Friendly LogicAllen L. Mann, Gabriel Sandu, Merlijn Sevenster
2011
Independence-Friendly Logic_cover
Independence-Friendly Logic
Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
2011
Deep Beauty_cover
Deep Beauty
2011
Deep Beauty_cover
Deep Beauty
2011
Finite and Algorithmic Model Theory_cover
Finite and Algorithmic Model Theory
2011
Finite and Algorithmic Model Theory_cover
Finite and Algorithmic Model Theory
2011
Mathematical Logic_cover
Mathematical Logic
2011
Mathematical Logic_cover
Mathematical Logic
2011
Computability In Context: Computation And Logic In The Real World_cover
Computability In Context: Computation And Logic In The Real World
2011
Computability In Context: Computation And Logic In The Real World_cover
Computability In Context: Computation And Logic In The Real World
2011
Infinity_cover
Infinity
2011
Infinity_cover
Infinity
2011
Forcing with Random Variables and Proof Complexity_cover
Forcing with Random Variables and Proof ComplexityJan Krají?ek
2010
Forcing with Random Variables and Proof Complexity_cover
Forcing with Random Variables and Proof Complexity
Jan Krají?ek
2010
Handbook of Logic and Language_cover
Handbook of Logic and Language
2010
Handbook of Logic and Language_cover
Handbook of Logic and Language
2010
The Logic of Quantum Mechanics: Volume 15_cover
The Logic of Quantum Mechanics: Volume 15Enrico G. Beltrametti, Gianni Cassinelli
2010
The Logic of Quantum Mechanics: Volume 15_cover
The Logic of Quantum Mechanics: Volume 15
Enrico G. Beltrametti, Gianni Cassinelli
2010
Relational Mathematics_cover
Relational MathematicsGunther Schmidt
2010
Relational Mathematics_cover
Relational Mathematics
Gunther Schmidt
2010
Zariski Geometries_cover
Zariski GeometriesBoris Zilber
2010
Zariski Geometries_cover
Zariski Geometries
Boris Zilber
2010
Elements of Automata Theory_cover
Elements of Automata TheoryJacques Sakarovitch
2009
Elements of Automata Theory_cover
Elements of Automata Theory
Jacques Sakarovitch
2009
Handbook of Quantum Logic and Quantum Structures_cover
Handbook of Quantum Logic and Quantum Structures
2009
Handbook of Quantum Logic and Quantum Structures_cover
Handbook of Quantum Logic and Quantum Structures
2009
Logic from Russell to Church_cover
Logic from Russell to Church
2009
Logic from Russell to Church_cover
Logic from Russell to Church
2009
The Birth of Model Theory_cover
The Birth of Model TheoryCalixto Badesa
2009
The Birth of Model Theory_cover
The Birth of Model Theory
Calixto Badesa
2009
Consequences of Martin's Axiom_cover
Consequences of Martin's AxiomD. H. Fremlin
2008
Consequences of Martin's Axiom_cover
Consequences of Martin's Axiom
D. H. Fremlin
2008
The Determinacy of Long Games_cover
The Determinacy of Long GamesItay Neeman
2008
The Determinacy of Long Games_cover
The Determinacy of Long Games
Itay Neeman
2008
Logic Colloquium 2005_cover
Logic Colloquium 2005Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel
2007
Logic Colloquium 2005_cover
Logic Colloquium 2005
Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel
2007
The Many Valued and Nonmonotonic Turn in Logic_cover
The Many Valued and Nonmonotonic Turn in Logic
2007
The Many Valued and Nonmonotonic Turn in Logic_cover
The Many Valued and Nonmonotonic Turn in Logic
2007
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques_cover
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set TechniquesGuang-quan Zhang, Da Ruan, Jie Lu
2007
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques_cover
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
Guang-quan Zhang, Da Ruan, Jie Lu
2007
Coherent Systems_cover
Coherent SystemsKarl Schlechta
2004
Coherent Systems_cover
Coherent Systems
Karl Schlechta
2004
Computational Complexity: A Quantitative Perspective_cover
Computational Complexity: A Quantitative PerspectiveMarius Zimand
2004
Computational Complexity: A Quantitative Perspective_cover
Computational Complexity: A Quantitative Perspective
Marius Zimand
2004
The Rise of Modern Logic: from Leibniz to Frege_cover
The Rise of Modern Logic: from Leibniz to Frege
2004
The Rise of Modern Logic: from Leibniz to Frege_cover
The Rise of Modern Logic: from Leibniz to Frege
2004
Infinite Words_cover
Infinite WordsDominique Perrin, Jean-Éric Pin
2004
Infinite Words_cover
Infinite Words
Dominique Perrin, Jean-Éric Pin
2004
Greek, Indian and Arabic Logic_cover
Greek, Indian and Arabic Logic
2004
Greek, Indian and Arabic Logic_cover
Greek, Indian and Arabic Logic
2004
Categorical Foundations_cover
Categorical Foundations
2003
Categorical Foundations_cover
Categorical Foundations
2003