Mathematics

Logic in Mathematics

Showing 241 - 300 out of 363 books
Mengenlehre_cover
MengenlehreDieter Klaua
2016
Mengenlehre
Mengenlehre
Dieter Klaua
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
536 Puzzles and Curious Problems_cover
536 Puzzles and Curious ProblemsHenry E. Dudeney
2016
536 Puzzles and Curious Problems
536 Puzzles and Curious Problems
Henry E. Dudeney
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
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
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
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
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
Agent_Zero_cover
Agent_ZeroJoshua M. Epstein
2014
Agent_Zero
Agent_Zero
Joshua M. Epstein
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 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
Appalachian Set Theory_cover
Appalachian Set Theory
2012
Appalachian Set Theory
Appalachian Set Theory
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
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
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
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