Mathematics

Logic in Mathematics

Showing 241 - 300 out of 404 books
Reverse Mathematics_cover
Reverse MathematicsJohn Stillwell
2018
Reverse Mathematics
Reverse Mathematics
John Stillwell
2018
The Digital and the Real World_cover
The Digital and the Real WorldKlaus Mainzer
2017
The Digital and the Real World
The Digital and the Real World
Klaus Mainzer
2017
Logic and Algebra_cover
Logic and AlgebraAldo Ursini
2017
Logic and Algebra
Logic and Algebra
Aldo Ursini
2017
Multiple-Valued Logic Design_cover
Multiple-Valued Logic DesignG Epstein
2017
Multiple-Valued Logic Design
Multiple-Valued Logic Design
G Epstein
2017
uFORM iFORM_cover
uFORM iFORMRalf Peyn
2017
uFORM iFORM
uFORM iFORM
Ralf Peyn
2017
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory_cover
Descriptive Complexity, Canonisation, and Definable Graph Structure TheoryMartin Grohe
2017
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Martin Grohe
2017
Descriptive Set Theory and Forcing_cover
Descriptive Set Theory and ForcingArnold W. Miller
2017
Descriptive Set Theory and Forcing
Descriptive Set Theory and Forcing
Arnold W. Miller
2017
The Induction Book_cover
The Induction BookSteven H. Weintraub
2017
The Induction Book
The Induction Book
Steven H. Weintraub
2017
Simply Gödel_cover
Simply GödelRichard Tieszen
2017
Simply Gödel
Simply Gödel
Richard Tieszen
2017
Proper and Improper Forcing_cover
Proper and Improper ForcingSaharon Shelah
2017
Proper and Improper Forcing
Proper and Improper Forcing
Saharon Shelah
2017
Constructibility_cover
ConstructibilityKeith J. Devlin
2017
Constructibility
Constructibility
Keith J. Devlin
2017
Fine Structure and Iteration Trees_cover
Fine Structure and Iteration TreesWilliam J. Mitchell, John R. Steel
2017
Fine Structure and Iteration Trees
Fine Structure and Iteration Trees
William J. Mitchell, John R. Steel
2017
Logic Colloquium '90_cover
Logic Colloquium '90
2017
Logic Colloquium '90
Logic Colloquium '90
2017
Computability in Analysis and Physics_cover
Computability in Analysis and PhysicsMarian B. Pour-El, J. Ian Richards
2017
Computability in Analysis and Physics
Computability in Analysis and Physics
Marian B. Pour-El, J. Ian Richards
2017
Higher Recursion Theory_cover
Higher Recursion TheoryGerald E. Sacks
2017
Higher Recursion Theory
Higher Recursion Theory
Gerald E. Sacks
2017
Admissible Sets and Structures_cover
Admissible Sets and StructuresJon Barwise
2017
Admissible Sets and Structures
Admissible Sets and Structures
Jon Barwise
2017
Model-Theoretic Logics_cover
Model-Theoretic Logics
2017
Model-Theoretic Logics
Model-Theoretic Logics
2017
Recursion-Theoretic Hierarchies_cover
Recursion-Theoretic HierarchiesPeter G. Hinman
2017
Recursion-Theoretic Hierarchies
Recursion-Theoretic Hierarchies
Peter G. Hinman
2017
General Recursion Theory_cover
General Recursion TheoryJens E. Fenstad
2017
General Recursion Theory
General Recursion Theory
Jens E. Fenstad
2017
Fundamentals of Stability Theory_cover
Fundamentals of Stability TheoryJohn T. Baldwin
2017
Fundamentals of Stability Theory
Fundamentals of Stability Theory
John T. Baldwin
2017
Recursion Theory_cover
Recursion TheoryJoseph R. Shoenfield
2017
Recursion Theory
Recursion Theory
Joseph R. Shoenfield
2017
Model Theory of Fields_cover
Model Theory of FieldsDavid Marker, Margit Messmer, Anand Pillay
2017
Model Theory of Fields
Model Theory of Fields
David Marker, Margit Messmer, Anand Pillay
2017
A General Algebraic Semantics for Sentential Logics_cover
A General Algebraic Semantics for Sentential LogicsJosep Maria Font, Ramon Jansana
2017
A General Algebraic Semantics for Sentential Logics
A General Algebraic Semantics for Sentential Logics
Josep Maria Font, Ramon Jansana
2017
The Core Model Iterability Problem_cover
The Core Model Iterability ProblemJohn R. Steel
2017
The Core Model Iterability Problem
The Core Model Iterability Problem
John R. Steel
2017
Bounded Variable Logics and Counting_cover
Bounded Variable Logics and CountingMartin Otto
2017
Bounded Variable Logics and Counting
Bounded Variable Logics and Counting
Martin Otto
2017
Logic Colloquium '95_cover
Logic Colloquium '95
2017
Logic Colloquium '95
Logic Colloquium '95
2017
Logic Colloquium '96_cover
Logic Colloquium '96
2017
Logic Colloquium '96
Logic Colloquium '96
2017
Aspects of Incompleteness_cover
Aspects of IncompletenessPer Lindström
2017
Aspects of Incompleteness
Aspects of Incompleteness
Per Lindström
2017
Essential Stability Theory_cover
Essential Stability TheorySteven Buechler
2017
Essential Stability Theory
Essential Stability Theory
Steven Buechler
2017
Gödel '96_cover
Gödel '96
2017
Gödel '96
Gödel '96
2017
Lectures on Infinitary Model Theory_cover
Lectures on Infinitary Model TheoryDavid Marker
2016
Lectures on Infinitary Model Theory
Lectures on Infinitary Model Theory
David Marker
2016
Introduction to Coalgebra_cover
Introduction to CoalgebraBart Jacobs
2016
Introduction to Coalgebra
Introduction to Coalgebra
Bart Jacobs
2016
That's Maths_cover
That's MathsPeter Lynch
2016
That's Maths
That's Maths
Peter Lynch
2016
Logical Modalities from Aristotle to Carnap_cover
Logical Modalities from Aristotle to Carnap
2016
Logical Modalities from Aristotle to Carnap
Logical Modalities from Aristotle to Carnap
2016
The Logic Of Names : An Introduction To Boole's Laws Of Thought.._cover
The Logic Of Names : An Introduction To Boole's Laws Of Thought..I. P. Hughlings
2016
The Logic Of Names : An Introduction To Boole's Laws Of Thought..
The Logic Of Names : An Introduction To Boole's Laws Of Thought..
I. P. Hughlings
2016
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity_cover
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
2016
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
2016
Language and Mathematics_cover
Language and MathematicsMarcel Danesi
2016
Language and Mathematics
Language and Mathematics
Marcel Danesi
2016
Circularity_cover
CircularityRon Aharoni
2016
Circularity
Circularity
Ron Aharoni
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
A Sequential Introduction to Real Analysis_cover
A Sequential Introduction to Real AnalysisJ M Speight
2015
A Sequential Introduction to Real Analysis
A Sequential Introduction to Real Analysis
J M Speight
2015
The Vienna Circle_cover
The Vienna CircleVictor Kraft
2015
The Vienna Circle
The Vienna Circle
Victor Kraft
2015
Fuzzy Neural Networks for Real Time Control Applications_cover
Fuzzy Neural Networks for Real Time Control ApplicationsErdal Kayacan, Mojtaba Ahmadieh Khanesar
2015
Fuzzy Neural Networks for Real Time Control Applications
Fuzzy Neural Networks for Real Time Control Applications
Erdal Kayacan, Mojtaba Ahmadieh Khanesar
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
Application of Fuzzy Logic to Social Choice Theory_cover
Application of Fuzzy Logic to Social Choice TheoryJohn N. Mordeson, Davender S. Malik, Terry D. Clark
2015
Application of Fuzzy Logic to Social Choice Theory
Application of Fuzzy Logic to Social Choice Theory
John N. Mordeson, Davender S. Malik, Terry D. Clark
2015
Introduction to Mathematical Proofs_cover
Introduction to Mathematical ProofsCharles Roberts, Charles E. Roberts Jr.
2014
Introduction to Mathematical Proofs
Introduction to Mathematical Proofs
Charles Roberts, Charles E. Roberts Jr.
2014
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
Logic, Computation, Hierarchies_cover
Logic, Computation, HierarchiesVasco Brattka, Hannes Diener, Dieter Spreen
2014
Logic, Computation, Hierarchies
Logic, Computation, Hierarchies
Vasco Brattka, Hannes Diener, Dieter Spreen
2014
Proof Theory_cover
Proof TheoryKatalin Bimbo
2014
Proof Theory
Proof Theory
Katalin Bimbo
2014
Monoidal Topology_cover
Monoidal Topology
2014
Monoidal Topology
Monoidal Topology
2014
Algorithms and Complexity_cover
Algorithms and ComplexityBozzano G Luisa
2014
Algorithms and Complexity
Algorithms and Complexity
Bozzano G Luisa
2014
Elementary Induction on Abstract Structures_cover
Elementary Induction on Abstract StructuresYiannis N. Moschovakis
2014
Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
Yiannis N. Moschovakis
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