Mathematics

Logic in Mathematics

Showing 121 - 180 out of 342 books
Logic of Mathematics_cover
Logic of MathematicsZofia Adamowicz, Pawel Zbierski
2011
Logic of Mathematics
Logic of Mathematics
Zofia Adamowicz, Pawel Zbierski
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
Axiomatic Set Theory_cover
Axiomatic Set TheoryR.B. Chuaqui
2011
Axiomatic Set Theory
Axiomatic Set Theory
R.B. Chuaqui
2011
Deep Beauty_cover
Deep Beauty
2011
Deep Beauty
Deep Beauty
2011
Infinity_cover
Infinity
2011
Infinity
Infinity
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
The Logic of Quantum Mechanics: Volume 15_cover
The Logic of Quantum Mechanics: Volume 15Enrico G. Beltrametti, Gianni Cassinelli
2010
The Logic of Quantum Mechanics: Volume 15
The Logic of Quantum Mechanics: Volume 15
Enrico G. Beltrametti, Gianni Cassinelli
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
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
A Practical Logic of Cognitive Systems_cover
A Practical Logic of Cognitive SystemsDov M. Gabbay, John Woods
2005
A Practical Logic of Cognitive Systems
A Practical Logic of Cognitive Systems
Dov M. Gabbay, John Woods
2005
Mathematics and the Divine_cover
Mathematics and the Divine
2004
Mathematics and the Divine
Mathematics and the Divine
2004
Greek, Indian and Arabic Logic_cover
Greek, Indian and Arabic Logic
2004
Greek, Indian and Arabic Logic
Greek, Indian and Arabic Logic
2004
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
Quantum Theoretic Machines_cover
Quantum Theoretic MachinesA. Stern
2000
Quantum Theoretic Machines
Quantum Theoretic Machines
A. Stern
2000
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
Numbers and Proofs_cover
Numbers and ProofsReg Allenby
1997
Numbers and Proofs
Numbers and Proofs
Reg Allenby
1997
The Quantum Brain_cover
The Quantum BrainA. Stern
1994
The Quantum Brain
The Quantum Brain
A. Stern
1994
Differential and Integral Calculus_cover
Differential and Integral CalculusSvetlin G. Georgiev, Khaled Zennir
2025
Differential and Integral Calculus
Differential and Integral Calculus
Svetlin G. Georgiev, Khaled Zennir
2025
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
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
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
New Directions in Relevant Logic_cover
New Directions in Relevant Logic
2025
New Directions in Relevant Logic
New Directions in Relevant Logic
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
An Introduction to Classical and Modal Logics_cover
An Introduction to Classical and Modal LogicsAdam Bjorndahl
2024
An Introduction to Classical and Modal Logics
An Introduction to Classical and Modal Logics
Adam Bjorndahl
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
Development Theory_cover
Development TheoryJoe Will Serdaruz
2024
Development Theory
Development Theory
Joe Will Serdaruz
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
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 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
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
Mathematical Foundations of Fuzzy Sets_cover
Mathematical Foundations of Fuzzy SetsHsien-Chung Wu
2023
Mathematical Foundations of Fuzzy Sets
Mathematical Foundations of Fuzzy Sets
Hsien-Chung Wu
2023
Use of abstraction and logic in mathematics_cover
Use of abstraction and logic in mathematics
2023
Use of abstraction and logic in mathematics
Use of abstraction and logic in mathematics
2023
The Notion of mathematical proof: Key rules and considerations_cover
The Notion of mathematical proof: Key rules and considerations
2023
The Notion of mathematical proof: Key rules and considerations
The Notion of mathematical proof: Key rules and considerations
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
The Semantic Conception of Logic_cover
The Semantic Conception of Logic
2021
The Semantic Conception of Logic
The Semantic Conception of Logic
2021
(Co)end Calculus_cover
(Co)end CalculusFosco Loregian
2021
(Co)end Calculus
(Co)end Calculus
Fosco Loregian
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
Foundations of Constructive Probability Theory_cover
Foundations of Constructive Probability TheoryYuen-Kwok Chan
2021
Foundations of Constructive Probability Theory
Foundations of Constructive Probability Theory
Yuen-Kwok Chan
2021
Math Tricks_cover
Math TricksAlfred S. Posamentier
2021
Math Tricks
Math Tricks
Alfred S. Posamentier
2021
Groups and Model Theory_cover
Groups and Model TheoryOlga Kharlampovich, Rizos Sklinos
2021
Groups and Model Theory
Groups and Model Theory
Olga Kharlampovich, Rizos Sklinos
2021
Entropy and Diversity_cover
Entropy and DiversityTom Leinster
2021
Entropy and Diversity
Entropy and Diversity
Tom Leinster
2021
200 Ausgewählte Schachaufgaben_cover
200 Ausgewählte SchachaufgabenOtto Fuss, Ferdinand Möller
2021
200 Ausgewählte Schachaufgaben
200 Ausgewählte Schachaufgaben
Otto Fuss, Ferdinand Möller
2021
Continua_cover
Continua
2020
Continua
Continua
2020