Mathematics

Logic in Mathematics

Showing 121 - 180 out of 363 books
Logic from A to Z_cover
Logic from A to ZJohn B. Bacon, Michael Detlefsen, David Charles McCarty
2013
Logic from A to Z
Logic from A to Z
John B. Bacon, Michael Detlefsen, David Charles McCarty
2013
The Gödelian Puzzle Book_cover
The Gödelian Puzzle BookRaymond M. Smullyan
2013
The Gödelian Puzzle Book
The Gödelian Puzzle Book
Raymond M. Smullyan
2013
Introduction to Logic_cover
Introduction to LogicAlfred Tarski
2013
Introduction to Logic
Introduction to Logic
Alfred Tarski
2013
Lambda Calculus with Types_cover
Lambda Calculus with TypesHenk Barendregt, Wil Dekkers, Richard Statman
2013
Lambda Calculus with Types
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
2013
Mathematical Logic_cover
Mathematical LogicStephen Cole Kleene
2013
Mathematical Logic
Mathematical Logic
Stephen Cole Kleene
2013
Symbolic Logic and the Game of Logic_cover
Symbolic Logic and the Game of LogicLewis Carroll
2013
Symbolic Logic and the Game of Logic
Symbolic Logic and the Game of Logic
Lewis Carroll
2013
Frege, Dedekind, and Peano on the Foundations of Arithmetic_cover
Frege, Dedekind, and Peano on the Foundations of ArithmeticDonald Gillies
2013
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Donald Gillies
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
A Profile of Mathematical Logic_cover
A Profile of Mathematical LogicHoward DeLong
2012
A Profile of Mathematical Logic
A Profile of Mathematical Logic
Howard DeLong
2012
What Is Mathematical Logic?_cover
What Is Mathematical Logic?J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
What Is Mathematical Logic?
What Is Mathematical Logic?
J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
Introduction to Symbolic Logic and Its Applications_cover
Introduction to Symbolic Logic and Its ApplicationsRudolf Carnap
2012
Introduction to Symbolic Logic and Its Applications
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap
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
Foundations and Fundamental Concepts of Mathematics_cover
Foundations and Fundamental Concepts of MathematicsHoward Eves
2012
Foundations and Fundamental Concepts of Mathematics
Foundations and Fundamental Concepts of Mathematics
Howard Eves
2012
Theorems, Corollaries, Lemmas, and Methods of Proof_cover
Theorems, Corollaries, Lemmas, and Methods of ProofRichard J. Rossi
2011
Theorems, Corollaries, Lemmas, and Methods of Proof
Theorems, Corollaries, Lemmas, and Methods of Proof
Richard J. Rossi
2011
Logic of Mathematics_cover
Logic of MathematicsZofia Adamowicz, Pawel Zbierski
2011
Logic of Mathematics
Logic of Mathematics
Zofia Adamowicz, Pawel Zbierski
2011
Axiomatic Set Theory_cover
Axiomatic Set TheoryR.B. Chuaqui
2011
Axiomatic Set Theory
Axiomatic Set Theory
R.B. Chuaqui
2011
Logic with a Probability Semantics_cover
Logic with a Probability SemanticsTheodore Hailperin
2010
Logic with a Probability Semantics
Logic with a Probability Semantics
Theodore Hailperin
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
Philosophy of Mathematics_cover
Philosophy of MathematicsJames Robert Brown
2010
Philosophy of Mathematics
Philosophy of Mathematics
James Robert Brown
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
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
The Foundations of Mathematics in the Theory of Sets_cover
The Foundations of Mathematics in the Theory of SetsJohn P. Mayberry
2001
The Foundations of Mathematics in the Theory of Sets
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry
2001
Mathematical Logic For Computer Science_cover
Mathematical Logic For Computer ScienceZhongwan Lu
1998
Mathematical Logic For Computer Science
Mathematical Logic For Computer Science
Zhongwan Lu
1998
Set Theory_cover
Set TheoryTomek Bartoszynski, Haim Judah
1995
Set Theory
Set Theory
Tomek Bartoszynski, Haim Judah
1995
The Quantum Brain_cover
The Quantum BrainA. Stern
1994
The Quantum Brain
The Quantum Brain
A. Stern
1994
Functional and Harmonic Analysis_cover
Functional and Harmonic AnalysisRené Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
2025
Functional and Harmonic Analysis
Functional and Harmonic Analysis
René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
2025
Polynomial Functors_cover
Polynomial FunctorsNelson Niu, David I. Spivak
2025
Polynomial Functors
Polynomial Functors
Nelson Niu, David I. Spivak
2025
Uni-variate Polynomials in Analysis_cover
Uni-variate Polynomials in AnalysisVladimir P. Kostov
2025
Uni-variate Polynomials in Analysis
Uni-variate Polynomials in Analysis
Vladimir P. Kostov
2025
Catalan's Constant to 1, 500, 000 Places_cover
Catalan's Constant to 1, 500, 000 PlacesVarious
2025
Catalan's Constant to 1, 500, 000 Places
Catalan's Constant to 1, 500, 000 Places
Various
2025
Proof Complexity Generators_cover
Proof Complexity GeneratorsJan Krajíček
2025
Proof Complexity Generators
Proof Complexity Generators
Jan Krajíček
2025
Polygraphs: From Rewriting to Higher Categories_cover
Polygraphs: From Rewriting to Higher CategoriesDimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
2025
Polygraphs: From Rewriting to Higher Categories
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
2025
General Topology_cover
General TopologyVipul Kakkar
2025
General Topology
General Topology
Vipul Kakkar
2025
The Logic, Philosophy, and History of the Lambda-Calculus_cover
The Logic, Philosophy, and History of the Lambda-CalculusLevis Zerpa
2025
The Logic, Philosophy, and History of the Lambda-Calculus
The Logic, Philosophy, and History of the Lambda-Calculus
Levis Zerpa
2025
The Theory of Countable Borel Equivalence Relations_cover
The Theory of Countable Borel Equivalence RelationsAlexander S. Kechris
2024
The Theory of Countable Borel Equivalence Relations
The Theory of Countable Borel Equivalence Relations
Alexander S. Kechris
2024
Modeling and Control of Dynamic Spatially Distributed Systems_cover
Modeling and Control of Dynamic Spatially Distributed SystemsYizhi Wang, Zhong Yang
2024
Modeling and Control of Dynamic Spatially Distributed Systems
Modeling and Control of Dynamic Spatially Distributed Systems
Yizhi Wang, Zhong Yang
2024
Weighted Morrey Spaces_cover
Weighted Morrey SpacesMarcus Laurel, Marius Mitrea
2024
Weighted Morrey Spaces
Weighted Morrey Spaces
Marcus Laurel, Marius Mitrea
2024
Introduction to Incompleteness_cover
Introduction to IncompletenessSerafim Batzoglou
2024
Introduction to Incompleteness
Introduction to Incompleteness
Serafim Batzoglou
2024
The Largest Suslin Axiom_cover
The Largest Suslin AxiomGrigor Sargsyan, Nam Trang
2024
The Largest Suslin Axiom
The Largest Suslin Axiom
Grigor Sargsyan, Nam Trang
2024
Parabolic Problems_cover
Parabolic ProblemsDavid Angell, Thomas Britz
2024
Parabolic Problems
Parabolic Problems
David Angell, Thomas Britz
2024
Harmony and Paradox_cover
Harmony and ParadoxLuca Tranchini
2024
Harmony and Paradox
Harmony and Paradox
Luca Tranchini
2024
Automatic Complexity_cover
Automatic ComplexityBjørn Kjos-Hanssen
2024
Automatic Complexity
Automatic Complexity
Bjørn Kjos-Hanssen
2024
The Logic of Entailment and its History_cover
The Logic of Entailment and its HistoryEdwin Mares
2024
The Logic of Entailment and its History
The Logic of Entailment and its History
Edwin Mares
2024
The Gold-Bug_cover
The Gold-BugEdgar Allan Poe
2024
The Gold-Bug
The Gold-Bug
Edgar Allan Poe
2024
Operators vs Quantifiers_cover
Operators vs Quantifiers
2023
Operators vs Quantifiers
Operators vs Quantifiers
2023
Studies in Inductive Logic and Probability, Volume I_cover
Studies in Inductive Logic and Probability, Volume IRudolf Carnap, Richard C. Jeffrey
2023
Studies in Inductive Logic and Probability, Volume I
Studies in Inductive Logic and Probability, Volume I
Rudolf Carnap, Richard C. Jeffrey
2023
Threshold Logic_cover
Threshold LogicSze-Tsen Hu
2023
Threshold Logic
Threshold Logic
Sze-Tsen Hu
2023
A Theory of Truth_cover
A Theory of TruthYannis Stephanou
2023
A Theory of Truth
A Theory of Truth
Yannis Stephanou
2023
Harmonic Analysis and Convexity_cover
Harmonic Analysis and ConvexityAlexander Koldobsky, Alexander Volberg
2023
Harmonic Analysis and Convexity
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
The Baseball Mysteries_cover
The Baseball MysteriesJerry Butters, Jim Henle
2023
The Baseball Mysteries
The Baseball Mysteries
Jerry Butters, Jim Henle
2023
Inquisitive Logic_cover
Inquisitive LogicIvano Ciardelli
2023
Inquisitive Logic
Inquisitive Logic
Ivano Ciardelli
2023
The Price of Cake_cover
The Price of CakeClément Deslandes, Guillaume Deslandes, Laure Macé de Lépinay
2023
The Price of Cake
The Price of Cake
Clément Deslandes, Guillaume Deslandes, Laure Macé de Lépinay
2023
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs_cover
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced GraphsGregory Cherlin
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
Gregory Cherlin
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments_cover
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournamentsGregory Cherlin
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Gregory Cherlin
2022
The Ultrapower Axiom_cover
The Ultrapower AxiomGabriel Goldberg
2022
The Ultrapower Axiom
The Ultrapower Axiom
Gabriel Goldberg
2022
Introduction to Logic_cover
Introduction to LogicImmanuel Kant
2022
Introduction to Logic
Introduction to Logic
Immanuel Kant
2022
Paradoxes and Inconsistent Mathematics_cover
Paradoxes and Inconsistent MathematicsZach Weber
2021
Paradoxes and Inconsistent Mathematics
Paradoxes and Inconsistent Mathematics
Zach Weber
2021
Alan Turing's Systems of Logic_cover
Alan Turing's Systems of LogicAndrew W. Appel
2021
Alan Turing's Systems of Logic
Alan Turing's Systems of Logic
Andrew W. Appel
2021
The Semantic Conception of Logic_cover
The Semantic Conception of Logic
2021
The Semantic Conception of Logic
The Semantic Conception of Logic
2021
Computable Structure Theory_cover
Computable Structure TheoryAntonio Montalbán
2021
Computable Structure Theory
Computable Structure Theory
Antonio Montalbán
2021
Complexity of Infinite-Domain Constraint Satisfaction_cover
Complexity of Infinite-Domain Constraint SatisfactionManuel Bodirsky
2021
Complexity of Infinite-Domain Constraint Satisfaction
Complexity of Infinite-Domain Constraint Satisfaction
Manuel Bodirsky
2021