Skip to main content
Perlego
Browse
Institutions
Pricing
Login
Sign up to read
Deutsch
English
Español
Français
Italiano
globe icon
close
Deutsch
English
Español
Français
Italiano
globe icon
English
close
Browse by topic
Architecture
Art
Biological Sciences
Business
Computer Science
Design
Economics
Education
History
Languages & Linguistics
Law
Literature
Mathematics
Media & Performing Arts
Medicine
Personal Development
Philosophy
Physical Sciences
Politics & International Relations
Psychology
Social Sciences
Study Aids
Technology & Engineering
Theology & Religion
Or browse by
Subtopics
Publishers
Index
Browse study resources
Knowledge Base
Study Guides
Essay Writing Guides
Home
Browse
Mathematics
Logic in Mathematics
Mathematics
Logic in Mathematics
Explore
Books
Related topics
English
close
Most popular
close
Showing 121 - 180 out of 404 books
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
2013
Sign up to read
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
2013
Mathematical Logic
Stephen Cole Kleene
2013
Sign up to read
Mathematical Logic
Stephen Cole Kleene
2013
Mathematics and the Imagination
Edward Kasner, James Newman
2013
Sign up to read
Mathematics and the Imagination
Edward Kasner, James Newman
2013
Symbolic Logic and the Game of Logic
Lewis Carroll
2013
Sign up to read
Symbolic Logic and the Game of Logic
Lewis Carroll
2013
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Donald Gillies
2013
Sign up to read
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Donald Gillies
2013
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap
2012
Sign up to read
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap
2012
Introduction to Analysis
Maxwell Rosenlicht
2012
Sign up to read
Introduction to Analysis
Maxwell Rosenlicht
2012
Foundations and Fundamental Concepts of Mathematics
Howard Eves
2012
Sign up to read
Foundations and Fundamental Concepts of Mathematics
Howard Eves
2012
Theorems, Corollaries, Lemmas, and Methods of Proof
Richard J. Rossi
2011
Sign up to read
Theorems, Corollaries, Lemmas, and Methods of Proof
Richard J. Rossi
2011
Logic of Mathematics
Zofia Adamowicz, Pawel Zbierski
2011
Sign up to read
Logic of Mathematics
Zofia Adamowicz, Pawel Zbierski
2011
Infinity
2011
Sign up to read
Infinity
2011
Logic with a Probability Semantics
Theodore Hailperin
2010
Sign up to read
Logic with a Probability Semantics
Theodore Hailperin
2010
Philosophy of Mathematics
James Robert Brown
2010
Sign up to read
Philosophy of Mathematics
James Robert Brown
2010
Elements of Automata Theory
Jacques Sakarovitch
2009
Sign up to read
Elements of Automata Theory
Jacques Sakarovitch
2009
Mathematical Analysis and Proof
David S G Stirling
2009
Sign up to read
Mathematical Analysis and Proof
David S G Stirling
2009
Logical Labyrinths
Raymond Smullyan
2008
Sign up to read
Logical Labyrinths
Raymond Smullyan
2008
Mediaeval and Renaissance Logic
2008
Sign up to read
Mediaeval and Renaissance Logic
2008
Philosophy of Logic
2006
Sign up to read
Philosophy of Logic
2006
A Practical Logic of Cognitive Systems
Dov M. Gabbay, John Woods
2005
Sign up to read
A Practical Logic of Cognitive Systems
Dov M. Gabbay, John Woods
2005
Mathematics and the Divine
2004
Sign up to read
Mathematics and the Divine
2004
Logic
Greg Restall
2004
Sign up to read
Logic
Greg Restall
2004
Greek, Indian and Arabic Logic
2004
Sign up to read
Greek, Indian and Arabic Logic
2004
Categorical Foundations
2003
Sign up to read
Categorical Foundations
2003
Sets for Mathematics
F. William Lawvere, Robert Rosebrugh
2003
Sign up to read
Sets for Mathematics
F. William Lawvere, Robert Rosebrugh
2003
An Introduction to Substructural Logics
Greg Restall
2002
Sign up to read
An Introduction to Substructural Logics
Greg Restall
2002
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry
2001
Sign up to read
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry
2001
Handbook of Proof Theory
1998
Sign up to read
Handbook of Proof Theory
1998
Numbers and Proofs
Reg Allenby
1997
Sign up to read
Numbers and Proofs
Reg Allenby
1997
Handbook of Logic and Language
1996
Sign up to read
Handbook of Logic and Language
1996
The Quantum Brain
A. Stern
1994
Sign up to read
The Quantum Brain
A. Stern
1994
A Course in Mathematical Logic
J.L. Bell, M. Machover
1977
Sign up to read
A Course in Mathematical Logic
J.L. Bell, M. Machover
1977
The Notre Dame Lectures
Sign up to read
The Notre Dame Lectures
Artificial Conscience for the Quantum Physicist
Ariel Fernández Stigliano
2026
Sign up to read
Artificial Conscience for the Quantum Physicist
Ariel Fernández Stigliano
2026
Neutrosophic Computing and Vague Data Analysis
2026
Sign up to read
Neutrosophic Computing and Vague Data Analysis
2026
Automata Theory and Formal Languages
Władysław Homenda, Witold Pedrycz
2026
Sign up to read
Automata Theory and Formal Languages
Władysław Homenda, Witold Pedrycz
2026
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
Lin Zhao, Jinpeng Yu
2025
Sign up to read
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
Lin Zhao, Jinpeng Yu
2025
Functional and Harmonic Analysis
René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
2025
Sign up to read
Functional and Harmonic Analysis
René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
2025
Polynomial Functors
Nelson Niu, David I. Spivak
2025
Sign up to read
Polynomial Functors
Nelson Niu, David I. Spivak
2025
Uni-variate Polynomials in Analysis
Vladimir P. Kostov
2025
Sign up to read
Uni-variate Polynomials in Analysis
Vladimir P. Kostov
2025
Catalan's Constant to 1, 500, 000 Places
Various, Various
2025
Sign up to read
Catalan's Constant to 1, 500, 000 Places
Various, Various
2025
Limits and Derivatives of Real Functions for Physicists
Nicolas A. Pereyra
2025
Sign up to read
Limits and Derivatives of Real Functions for Physicists
Nicolas A. Pereyra
2025
Proof Complexity Generators
Jan Krajíček
2025
Sign up to read
Proof Complexity Generators
Jan Krajíček
2025
General Topology
Vipul Kakkar
2025
Sign up to read
General Topology
Vipul Kakkar
2025
Mastering Logical Reasoning
Azhar ul Haque Sario
2024
Sign up to read
Mastering Logical Reasoning
Azhar ul Haque Sario
2024
The Theory of Countable Borel Equivalence Relations
Alexander S. Kechris
2024
Sign up to read
The Theory of Countable Borel Equivalence Relations
Alexander S. Kechris
2024
Modeling and Control of Dynamic Spatially Distributed Systems
Yizhi Wang, Zhong Yang
2024
Sign up to read
Modeling and Control of Dynamic Spatially Distributed Systems
Yizhi Wang, Zhong Yang
2024
Development Theory
Joe Will Serdaruz
2024
Sign up to read
Development Theory
Joe Will Serdaruz
2024
Weighted Morrey Spaces
Marcus Laurel, Marius Mitrea
2024
Sign up to read
Weighted Morrey Spaces
Marcus Laurel, Marius Mitrea
2024
Introduction to Incompleteness
Serafim Batzoglou
2024
Sign up to read
Introduction to Incompleteness
Serafim Batzoglou
2024
The Largest Suslin Axiom
Grigor Sargsyan, Nam Trang
2024
Sign up to read
The Largest Suslin Axiom
Grigor Sargsyan, Nam Trang
2024
Parabolic Problems
David Angell, Thomas Britz
2024
Sign up to read
Parabolic Problems
David Angell, Thomas Britz
2024
Harmony and Paradox
Luca Tranchini
2024
Sign up to read
Harmony and Paradox
Luca Tranchini
2024
Automatic Complexity
Bjørn Kjos-Hanssen
2024
Sign up to read
Automatic Complexity
Bjørn Kjos-Hanssen
2024
The Logic of Entailment and its History
Edwin Mares
2024
Sign up to read
The Logic of Entailment and its History
Edwin Mares
2024
The Gold-Bug
Edgar Allan Poe
2024
Sign up to read
The Gold-Bug
Edgar Allan Poe
2024
The Vienna Circle
Victor Kraft
2023
Sign up to read
The Vienna Circle
Victor Kraft
2023
Operators vs Quantifiers
2023
Sign up to read
Operators vs Quantifiers
2023
A Theory of Truth
Yannis Stephanou
2023
Sign up to read
A Theory of Truth
Yannis Stephanou
2023
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
Sign up to read
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
Beyond First Order Model Theory, Volume II
Jose Iovino
2023
Sign up to read
Beyond First Order Model Theory, Volume II
Jose Iovino
2023
1
2
3
...
4
5
6
7
