Mathematics

Logic in Mathematics

Showing 121 - 180 out of 382 books
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
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicMicha?? Walicki
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Micha?? Walicki
2016
Basic Discrete Mathematics_cover
Basic Discrete MathematicsRichard Kohar
2016
Basic Discrete Mathematics
Basic Discrete Mathematics
Richard Kohar
2016
Algebraic Logic_cover
Algebraic LogicPaul R. Halmos
2016
Algebraic Logic
Algebraic Logic
Paul R. Halmos
2016
Introducing Infinity_cover
Introducing InfinityBrian Clegg, Oliver Pugh
2014
Introducing Infinity
Introducing Infinity
Brian Clegg, Oliver Pugh
2014
The Arrow Impossibility Theorem_cover
The Arrow Impossibility TheoremEric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
2014
The Arrow Impossibility Theorem
The Arrow Impossibility Theorem
Eric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
2014
Matrix Logic_cover
Matrix LogicA. Stern
2014
Matrix Logic
Matrix Logic
A. Stern
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
Introduction to Proof in Abstract Mathematics_cover
Introduction to Proof in Abstract MathematicsAndrew Wohlgemuth
2014
Introduction to Proof in Abstract Mathematics
Introduction to Proof in Abstract Mathematics
Andrew Wohlgemuth
2014
Math Bytes_cover
Math BytesTim P. Chartier
2014
Math Bytes
Math Bytes
Tim P. Chartier
2014
Proof Theory_cover
Proof TheoryGaisi Takeuti
2013
Proof Theory
Proof Theory
Gaisi Takeuti
2013
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
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
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
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
Axiomatic Set Theory_cover
Axiomatic Set TheoryR.B. Chuaqui
2011
Axiomatic Set Theory
Axiomatic Set Theory
R.B. Chuaqui
2011
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
Mathematical Analysis and Proof_cover
Mathematical Analysis and ProofDavid S G Stirling
2009
Mathematical Analysis and Proof
Mathematical Analysis and Proof
David S G Stirling
2009
Mediaeval and Renaissance Logic_cover
Mediaeval and Renaissance Logic
2008
Mediaeval and Renaissance Logic
Mediaeval and Renaissance Logic
2008
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
Categorical Foundations_cover
Categorical Foundations
2003
Categorical Foundations
Categorical Foundations
2003
An Introduction to Substructural Logics_cover
An Introduction to Substructural LogicsGreg Restall
2002
An Introduction to Substructural Logics
An Introduction to Substructural Logics
Greg Restall
2002
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
A Course in Mathematical Logic_cover
A Course in Mathematical LogicJ.L. Bell, M. Machover
1977
A Course in Mathematical Logic
A Course in Mathematical Logic
J.L. Bell, M. Machover
1977
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems_cover
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent SystemsLin Zhao, Jinpeng Yu
2025
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
Lin Zhao, Jinpeng Yu
2025
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 Language of Mathematics_cover
The Language of MathematicsRaúl Rojas
2025
The Language of Mathematics
The Language of Mathematics
Raúl Rojas
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
The Vienna Circle_cover
The Vienna CircleVictor Kraft
2023
The Vienna Circle
The Vienna Circle
Victor Kraft
2023
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
Model Theory of Operator Algebras_cover
Model Theory of Operator AlgebrasIsaac Goldbring
2023
Model Theory of Operator Algebras
Model Theory of Operator Algebras
Isaac Goldbring
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
Beyond First Order Model Theory, Volume II_cover
Beyond First Order Model Theory, Volume IIJose Iovino
2023
Beyond First Order Model Theory, Volume II
Beyond First Order Model Theory, Volume II
Jose Iovino
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
Advances in Applied Mathematical Analysis and Applications_cover
Advances in Applied Mathematical Analysis and Applications
2022
Advances in Applied Mathematical Analysis and Applications
Advances in Applied Mathematical Analysis and Applications
2022