Mathematics

Logic in Mathematics

Showing 241 - 300 out of 382 books
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
Controlling Language in Industry_cover
Controlling Language in IndustryStephen Crabbe
2017
Controlling Language in Industry
Controlling Language in Industry
Stephen Crabbe
2017
Crystal Chemistry_cover
Crystal ChemistryGérard Ferey
2016
Crystal Chemistry
Crystal Chemistry
Gérard Ferey
2016
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
Statistics and Causality_cover
Statistics and CausalityWolfgang Wiedermann, Alexander von Eye
2016
Statistics and Causality
Statistics and Causality
Wolfgang Wiedermann, Alexander von Eye
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
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 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
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
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
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
Introducing Logic_cover
Introducing LogicBill Mayblin, Dan Cryan, Sharron Shatil
2014
Introducing Logic
Introducing Logic
Bill Mayblin, Dan Cryan, Sharron Shatil
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
Philosophy and Foundations of Mathematics_cover
Philosophy and Foundations of Mathematics
2014
Philosophy and Foundations of Mathematics
Philosophy and Foundations of Mathematics
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
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
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
Extrapolation Methods_cover
Extrapolation MethodsC. Brezinski, M. Redivo Zaglia
2013
Extrapolation Methods
Extrapolation Methods
C. Brezinski, M. Redivo Zaglia
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