Mathematics

Logic in Mathematics

Showing 301 - 360 out of 382 books
Mathematics and the Imagination_cover
Mathematics and the ImaginationEdward Kasner, James Newman
2013
Mathematics and the Imagination
Mathematics and the Imagination
Edward Kasner, James Newman
2013
Coherence in Three-Dimensional Category Theory_cover
Coherence in Three-Dimensional Category TheoryNick Gurski
2013
Coherence in Three-Dimensional Category Theory
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
Logicism and its Philosophical Legacy
William Demopoulos
2013
Godel's Proof_cover
Godel's ProofErnest Nagel, James R. Newman
2012
Godel's Proof
Godel's Proof
Ernest Nagel, James R. Newman
2012
Appalachian Set Theory_cover
Appalachian Set Theory
2012
Appalachian Set Theory
Appalachian Set Theory
2012
What Is Mathematical Logic?_cover
What Is Mathematical Logic?J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
What Is Mathematical Logic?
What Is Mathematical Logic?
J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
On Formally Undecidable Propositions of Principia Mathematica and Related Systems_cover
On Formally Undecidable Propositions of Principia Mathematica and Related SystemsKurt Gödel
2012
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
2012
On the Formal Elements of the Absolute Algebra_cover
On the Formal Elements of the Absolute AlgebraErnst Schröder
2012
On the Formal Elements of the Absolute Algebra
On the Formal Elements of the Absolute Algebra
Ernst Schröder
2012
Playing with Infinity_cover
Playing with InfinityRózsa Péter
2012
Playing with Infinity
Playing with Infinity
Rózsa Péter
2012
Classical Mathematical Logic_cover
Classical Mathematical LogicRichard L. Epstein
2011
Classical Mathematical Logic
Classical Mathematical Logic
Richard L. Epstein
2011
Wadge Degrees and Projective Ordinals_cover
Wadge Degrees and Projective Ordinals
2011
Wadge Degrees and Projective Ordinals
Wadge Degrees and Projective Ordinals
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
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
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
2011
Set Theory, Arithmetic, and Foundations of Mathematics_cover
Set Theory, Arithmetic, and Foundations of Mathematics
2011
Set Theory, Arithmetic, and Foundations of Mathematics
Set Theory, Arithmetic, and Foundations of Mathematics
2011
Quantifiers, Propositions and Identity_cover
Quantifiers, Propositions and IdentityRobert Goldblatt
2011
Quantifiers, Propositions and Identity
Quantifiers, Propositions and Identity
Robert Goldblatt
2011
Simple Theories and Hyperimaginaries_cover
Simple Theories and HyperimaginariesEnrique Casanovas
2011
Simple Theories and Hyperimaginaries
Simple Theories and Hyperimaginaries
Enrique Casanovas
2011
Logic in Elementary Mathematics_cover
Logic in Elementary MathematicsRobert M. Exner, Myron F. Rosskopf
2011
Logic in Elementary Mathematics
Logic in Elementary Mathematics
Robert M. Exner, Myron F. Rosskopf
2011
Inductive Logic_cover
Inductive Logic
2011
Inductive Logic
Inductive Logic
2011
Independence-Friendly Logic_cover
Independence-Friendly LogicAllen L. Mann, Gabriel Sandu, Merlijn Sevenster
2011
Independence-Friendly Logic
Independence-Friendly Logic
Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
2011
Models and Games_cover
Models and GamesJouko Väänänen
2011
Models and Games
Models and Games
Jouko Väänänen
2011
Deep Beauty_cover
Deep Beauty
2011
Deep Beauty
Deep Beauty
2011
Finite and Algorithmic Model Theory_cover
Finite and Algorithmic Model Theory
2011
Finite and Algorithmic Model Theory
Finite and Algorithmic Model Theory
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
Computability In Context: Computation And Logic In The Real World
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
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
Handbook of Logic and Language
2010
Logic with a Probability Semantics_cover
Logic with a Probability SemanticsTheodore Hailperin
2010
Logic with a Probability Semantics
Logic with a Probability Semantics
Theodore Hailperin
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
The Logic of Quantum Mechanics: Volume 15
Enrico G. Beltrametti, Gianni Cassinelli
2010
Relational Mathematics_cover
Relational MathematicsGunther Schmidt
2010
Relational Mathematics
Relational Mathematics
Gunther Schmidt
2010
Zariski Geometries_cover
Zariski GeometriesBoris Zilber
2010
Zariski Geometries
Zariski Geometries
Boris Zilber
2010
The Birth of Model Theory_cover
The Birth of Model TheoryCalixto Badesa
2009
The Birth of Model Theory
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
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
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
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
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
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
Guang-quan Zhang, Da Ruan, Jie Lu
2007
Philosophy of Logic_cover
Philosophy of Logic
2006
Philosophy of Logic
Philosophy of Logic
2006
Nonstandard Methods and Applications in Mathematics_cover
Nonstandard Methods and Applications in Mathematics
2006
Nonstandard Methods and Applications in Mathematics
Nonstandard Methods and Applications in Mathematics
2006
Model Theory of Fields_cover
Model Theory of FieldsDavid Marker, Margit Messmer, Anand Pillay
2005
Model Theory of Fields
Model Theory of Fields
David Marker, Margit Messmer, Anand Pillay
2005
Logicism Renewed_cover
Logicism RenewedPaul C. Gilmore
2005
Logicism Renewed
Logicism Renewed
Paul C. Gilmore
2005
A Practical Logic of Cognitive Systems_cover
A Practical Logic of Cognitive SystemsDov M. Gabbay, John Woods
2005
A Practical Logic of Cognitive Systems
A Practical Logic of Cognitive Systems
Dov M. Gabbay, John Woods
2005
Mathematics and the Divine_cover
Mathematics and the Divine
2004
Mathematics and the Divine
Mathematics and the Divine
2004
Coherent Systems_cover
Coherent SystemsKarl Schlechta
2004
Coherent Systems
Coherent Systems
Karl Schlechta
2004
Computational Complexity: A Quantitative Perspective_cover
Computational Complexity: A Quantitative PerspectiveMarius Zimand
2004
Computational Complexity: A Quantitative Perspective
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
The Rise of Modern Logic: from Leibniz to Frege
2004
Infinite Words_cover
Infinite WordsDominique Perrin, Jean-Éric Pin
2004
Infinite Words
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
Greek, Indian and Arabic Logic
2004
Logic And Declarative Language_cover
Logic And Declarative LanguageM. Downward
2004
Logic And Declarative Language
Logic And Declarative Language
M. Downward
2004
Memoirs Of A Proof Theorist: Godel & Other Logicians_cover
Memoirs Of A Proof Theorist: Godel & Other LogiciansNicholas Passell, Mariko Yasugi
2003
Memoirs Of A Proof Theorist: Godel & Other Logicians
Memoirs Of A Proof Theorist: Godel & Other Logicians
Nicholas Passell, Mariko Yasugi
2003
Sets for Mathematics_cover
Sets for MathematicsF. William Lawvere, Robert Rosebrugh
2003
Sets for Mathematics
Sets for Mathematics
F. William Lawvere, Robert Rosebrugh
2003
Advances In Modal Logic, Volume 3_cover
Advances In Modal Logic, Volume 3
2002
Advances In Modal Logic, Volume 3
Advances In Modal Logic, Volume 3
2002
Jewels Of Stringology: Text Algorithms_cover
Jewels Of Stringology: Text AlgorithmsMaxime Crochemore, Wojciech Rytter
2002
Jewels Of Stringology: Text Algorithms
Jewels Of Stringology: Text Algorithms
Maxime Crochemore, Wojciech Rytter
2002
Relation Algebras by Games_cover
Relation Algebras by GamesRobin Hirsch, Ian Hodkinson
2002
Relation Algebras by Games
Relation Algebras by Games
Robin Hirsch, Ian Hodkinson
2002
Model Theory of Stochastic Processes_cover
Model Theory of Stochastic ProcessesSergio Fajardo, H. Jerome Keisler
2002
Model Theory of Stochastic Processes
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler
2002
Half-century Of Automata Theory, A: Celebration And Inspiration_cover
Half-century Of Automata Theory, A: Celebration And Inspiration
2001
Half-century Of Automata Theory, A: Celebration And Inspiration
Half-century Of Automata Theory, A: Celebration And Inspiration
2001
The Foundations of Mathematics in the Theory of Sets_cover
The Foundations of Mathematics in the Theory of SetsJohn P. Mayberry
2001
The Foundations of Mathematics in the Theory of Sets
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry
2001
Theory of Relations_cover
Theory of RelationsR. Fraisse
2000
Theory of Relations
Theory of Relations
R. Fraisse
2000
Quantum Theoretic Machines_cover
Quantum Theoretic MachinesA. Stern
2000
Quantum Theoretic Machines
Quantum Theoretic Machines
A. Stern
2000
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems_cover
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control SystemsGuanrong Chen, Trung Tat Pham
2000
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems
Guanrong Chen, Trung Tat Pham
2000
Descriptive Set Theory and Dynamical Systems_cover
Descriptive Set Theory and Dynamical Systems
2000
Descriptive Set Theory and Dynamical Systems
Descriptive Set Theory and Dynamical Systems
2000
Sets and Proofs_cover
Sets and Proofs
1999
Sets and Proofs
Sets and Proofs
1999