Mathematics

Logic in Mathematics

Showing 241 - 300 out of 335 books
Recursion Theory and Complexity_cover
Recursion Theory and ComplexityMarat M. Arslanov, Steffen Lempp
2014
Recursion Theory and Complexity
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
Applications of Model Theory to Functional Analysis
Jose Iovino
2014
Monoidal Topology_cover
Monoidal Topology
2014
Monoidal Topology
Monoidal Topology
2014
Matrix Logic_cover
Matrix LogicA. Stern
2014
Matrix Logic
Matrix Logic
A. Stern
2014
Algorithms and Complexity_cover
Algorithms and ComplexityBozzano G Luisa
2014
Algorithms and Complexity
Algorithms and Complexity
Bozzano G Luisa
2014
Introduction to Proof in Abstract Mathematics_cover
Introduction to Proof in Abstract MathematicsAndrew Wohlgemuth
2014
Introduction to Proof in Abstract Mathematics
Introduction to Proof in Abstract Mathematics
Andrew Wohlgemuth
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
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
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
Mathematical Logic and Formalized Theories
Robert L. Rogers
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
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
Turing's Legacy
2014
Math Bytes_cover
Math BytesTim P. Chartier
2014
Math Bytes
Math Bytes
Tim P. Chartier
2014
Pattern Recognition and Signal Analysis in Medical Imaging_cover
Pattern Recognition and Signal Analysis in Medical ImagingAnke Meyer-Baese, Volker J. Schmid
2014
Pattern Recognition and Signal Analysis in Medical Imaging
Pattern Recognition and Signal Analysis in Medical Imaging
Anke Meyer-Baese, Volker J. Schmid
2014
Paradoxes of the Infinite_cover
Paradoxes of the InfiniteBernard Bolzano
2014
Paradoxes of the Infinite
Paradoxes of the Infinite
Bernard Bolzano
2014
Four Lives_cover
Four LivesJason Rosenhouse, Raymond M. Smullyan
2014
Four Lives
Four Lives
Jason Rosenhouse, Raymond M. Smullyan
2014
Three Views of Logic_cover
Three Views of LogicDonald W. Loveland, Richard Hodel, S. G. Sterrett, Susan Sterrett
2014
Three Views of Logic
Three Views of Logic
Donald W. Loveland, Richard Hodel, S. G. Sterrett, Susan Sterrett
2014
smarTEST Prep_cover
smarTEST PrepPratheep Sevanthinathan, Padmini Raghavan
2013
smarTEST Prep
smarTEST Prep
Pratheep Sevanthinathan, Padmini Raghavan
2013
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
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
Effective Mathematics of the Uncountable
2013
The Philosophy of Mathematics_cover
The Philosophy of MathematicsAuguste Comte
2013
The Philosophy of Mathematics
The Philosophy of Mathematics
Auguste Comte
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
Canonical Ramsey Theory on Polish Spaces
Vladimir Kanovei, Marcin Sabok, Jindřich Zapletal
2013
The Lambda Calculus_cover
The Lambda CalculusH.P. Barendregt
2013
The Lambda Calculus
The Lambda Calculus
H.P. Barendregt
2013
The Logic of Chance_cover
The Logic of ChanceJohn Venn
2013
The Logic of Chance
The Logic of Chance
John Venn
2013
An Introduction to Stability Theory_cover
An Introduction to Stability TheoryAnand Pillay
2013
An Introduction to Stability Theory
An Introduction to Stability Theory
Anand Pillay
2013
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
Frege, Dedekind, and Peano on the Foundations of Arithmetic_cover
Frege, Dedekind, and Peano on the Foundations of ArithmeticDonald Gillies
2013
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Donald Gillies
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
Studies in Logic and Probability_cover
Studies in Logic and ProbabilityGeorge Boole
2012
Studies in Logic and Probability
Studies in Logic and Probability
George Boole
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
Graph Structure and Monadic Second-Order Logic_cover
Graph Structure and Monadic Second-Order LogicBruno Courcelle, Joost Engelfriet
2012
Graph Structure and Monadic Second-Order Logic
Graph Structure and Monadic Second-Order Logic
Bruno Courcelle, Joost Engelfriet
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
A Course in Model Theory_cover
A Course in Model TheoryKatrin Tent, Martin Ziegler
2012
A Course in Model Theory
A Course in Model Theory
Katrin Tent, Martin Ziegler
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
Logic of Mathematics_cover
Logic of MathematicsZofia Adamowicz, Pawel Zbierski
2011
Logic of Mathematics
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
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
Axiomatic Set Theory_cover
Axiomatic Set TheoryR.B. Chuaqui
2011
Axiomatic Set Theory
Axiomatic Set Theory
R.B. Chuaqui
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
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
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
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
Elements of Automata Theory_cover
Elements of Automata TheoryJacques Sakarovitch
2009
Elements of Automata Theory
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
Handbook of Quantum Logic and Quantum Structures
2009
Mathematical Analysis and Proof_cover
Mathematical Analysis and ProofDavid S G Stirling
2009
Mathematical Analysis and Proof
Mathematical Analysis and Proof
David S G Stirling
2009
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
Mediaeval and Renaissance Logic_cover
Mediaeval and Renaissance Logic
2008
Mediaeval and Renaissance Logic
Mediaeval and Renaissance Logic
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