Mathematics

Logic in Mathematics

Showing 301 - 360 out of 404 books
Philosophy and Foundations of Mathematics_cover
Philosophy and Foundations of Mathematics
2014
Philosophy and Foundations of Mathematics
Philosophy and Foundations of Mathematics
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
On the Study and Difficulties of Mathematics_cover
On the Study and Difficulties of MathematicsAugustus De Morgan
2014
On the Study and Difficulties of Mathematics
On the Study and Difficulties of Mathematics
Augustus De Morgan
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
Extrapolation Methods_cover
Extrapolation MethodsC. Brezinski, M. Redivo Zaglia
2013
Extrapolation Methods
Extrapolation Methods
C. Brezinski, M. Redivo Zaglia
2013
Proof Theory_cover
Proof TheoryGaisi Takeuti
2013
Proof Theory
Proof Theory
Gaisi Takeuti
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 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
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
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
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 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
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
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
The Origin of the Logic of Symbolic Mathematics_cover
The Origin of the Logic of Symbolic MathematicsBurt C. Hopkins
2011
The Origin of the Logic of Symbolic Mathematics
The Origin of the Logic of Symbolic Mathematics
Burt C. Hopkins
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
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
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
Mathematical Logic_cover
Mathematical LogicGeorge Tourlakis
2011
Mathematical Logic
Mathematical Logic
George Tourlakis
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
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
Electrical Load Forecasting_cover
Electrical Load ForecastingS.A. Soliman, Ahmad Mohammad Al-Kandari
2010
Electrical Load Forecasting
Electrical Load Forecasting
S.A. Soliman, Ahmad Mohammad Al-Kandari
2010
Zariski Geometries_cover
Zariski GeometriesBoris Zilber
2010
Zariski Geometries
Zariski Geometries
Boris Zilber
2010
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
Logic from Russell to Church_cover
Logic from Russell to Church
2009
Logic from Russell to Church
Logic from Russell to Church
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
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
Lectures on the Curry-Howard Isomorphism_cover
Lectures on the Curry-Howard IsomorphismMorten Heine Sørensen, Pawel Urzyczyn
2006
Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
Morten Heine Sørensen, Pawel Urzyczyn
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