Mathematics

Logic in Mathematics

Showing 241 - 300 out of 342 books
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicAlonzo Church
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Alonzo Church
2016
The Two-Valued Iterative Systems of Mathematical Logic_cover
The Two-Valued Iterative Systems of Mathematical LogicEmil L. Post
2016
The Two-Valued Iterative Systems of Mathematical Logic
The Two-Valued Iterative Systems of Mathematical Logic
Emil L. Post
2016
Logic and Algebraic Structures in Quantum Computing_cover
Logic and Algebraic Structures in Quantum Computing
2016
Logic and Algebraic Structures in Quantum Computing
Logic and Algebraic Structures in Quantum Computing
2016
Ordinal Definability and Recursion Theory: Volume 3_cover
Ordinal Definability and Recursion Theory: Volume 3
2016
Ordinal Definability and Recursion Theory: Volume 3
Ordinal Definability and Recursion Theory: Volume 3
2016
Logic: The Theory of Formal Inference_cover
Logic: The Theory of Formal InferenceAlice Ambrose, Morris Lazerowitz
2015
Logic: The Theory of Formal Inference
Logic: The Theory of Formal Inference
Alice Ambrose, Morris Lazerowitz
2015
A Guide to NIP Theories_cover
A Guide to NIP TheoriesPierre Simon
2015
A Guide to NIP Theories
A Guide to NIP Theories
Pierre Simon
2015
Philosophie der Mathematik_cover
Philosophie der MathematikThomas Bedürftig, Roman Murawski
2015
Philosophie der Mathematik
Philosophie der Mathematik
Thomas Bedürftig, Roman Murawski
2015
Pure Inductive Logic_cover
Pure Inductive LogicJeffrey Paris, Alena Vencovská
2015
Pure Inductive Logic
Pure Inductive Logic
Jeffrey Paris, Alena Vencovská
2015
Logic Without Borders_cover
Logic Without BordersÅsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2015
Logic Without Borders
Logic Without Borders
Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2015
Two Applications of Logic to Mathematics_cover
Two Applications of Logic to MathematicsGaisi Takeuti
2015
Two Applications of Logic to Mathematics
Two Applications of Logic to Mathematics
Gaisi Takeuti
2015
Computational Logic_cover
Computational Logic
2014
Computational Logic
Computational Logic
2014
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
The Arrow Impossibility Theorem_cover
The Arrow Impossibility TheoremEric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
2014
The Arrow Impossibility Theorem
The Arrow Impossibility Theorem
Eric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
2014
Algorithms and Complexity_cover
Algorithms and ComplexityBozzano G Luisa
2014
Algorithms and Complexity
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
Higher Order Logic Theorem Proving and its Applications
L.J.M. Claesen, M.J.C. Gordon
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
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
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 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
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
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
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
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
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