Skip to main content
Perlego
Browse
Institutions
Pricing
Login
DeutschEnglishEspañolFrançaisItaliano
DeutschEnglishEspañolFrançaisItaliano

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
  1. Home
  2. Browse
  3. Mathematics
  4. Logic in Mathematics
Mathematics

Logic in Mathematics

  • Explore
  • Books
  • Related topics

Find by topic

1 of 14
  1. Abstract Algebra
  2. Algebra
  3. Algebraic Geometry
  4. Analytic Geometry
  5. Applied Mathematics
  6. Arithmetic
  7. Calculus
  8. Complex Analysis
  9. Counting & Numeration
  10. Differential Equations
  11. Differential Geometry
  12. Discrete Mathematics
  13. Functional Analysis
  14. Game Theory
  15. Games in Mathematics
  16. Geometry
  17. Group Theory
  18. History & Philosophy of Mathematics
  19. Linear & Nonlinear Programming
  20. Linear Algebra
  21. Mathematical Analysis
  22. Mathematics Essays
  23. Mathematics General
  24. Mathematics in Education
  25. Mathematics Reference
  26. Mathematics Research & Study
  27. Number Theory
  28. Optimization
  29. Pre-Calculus
  30. Probability & Statistics
  31. Topology
  32. Trigonometry
  33. Vector Analysis
View all

Trending on Perlego

1 of 19
  1. Proof Complexity
    Proof Complexity
    Jan Krajíček
    2019
  2. The Search for Mathematical Roots, 1870-1940
    The Search for Mathematical Roots, 1870-1940
    Ivor Grattan-Guinness
    2011
  3. Handbook of Fuzzy Computation
    Handbook of Fuzzy Computation
    E Ruspini, P Bonissone, W Pedrycz
    2020
  4. Logic of Mathematics
    Zofia Adamowicz, Pawel Zbierski
    2011
  5. Elements of Automata Theory
    Jacques Sakarovitch
    2009
  6. Logic from Russell to Church
    2009
  7. Handbook of Proof Theory
    1998
  8. Handbook of Logic and Language
    1996
  9. Set Theory
    Tomek Bartoszynski, Haim Judah
    1995
  10. Metamathematics of First-Order Arithmetic
    Petr Hájek, Pavel Pudlák
    2017
  11. Graph Structure and Monadic Second-Order Logic
    Bruno Courcelle, Joost Engelfriet
    2012
  12. Axiomatic Set Theory
    R.B. Chuaqui
    2011
  13. Handbook of Quantum Logic and Quantum Structures
    2009
  14. Mediaeval and Renaissance Logic
    2008
  15. Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
    Lin Zhao, Jinpeng Yu
    2025
  16. Automatic Complexity
    Bjørn Kjos-Hanssen
    2024
  17. Model Theory of Operator Algebras
    Isaac Goldbring
    2023
  18. Harmonic Analysis and Convexity
    Alexander Koldobsky, Alexander Volberg
    2023
  19. The Ultrapower Axiom
    Gabriel Goldberg
    2022
  20. Model Theoretic Algebra With Particular Emphasis on Fields, Rings, Modules
    Christian.U Jensen, Christian. U Jensen, Helmt Lenzing
    2022
  21. Foundations of Constructive Probability Theory
    Yuen-Kwok Chan
    2021
  22. Continua
    2020
  23. Complexity and Randomness in Group Theory
    Frédérique Bassino, Ilya Kapovich, Markus Lohrey, Alexei Miasnikov, Cyril Nicaud, Andrey Nikolaev, Igor Rivin, Vladimir Shpilrain, Alexander Ushakov, Pascal Weil
    2020
  24. Logic and Algebra
    Aldo Ursini
    2017
  25. Multiple-Valued Logic Design
    G Epstein
    2017
  26. Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
    Martin Grohe
    2017
  27. Proper and Improper Forcing
    Saharon Shelah
    2017
  28. Model-Theoretic Logics
    2017
  29. Recursion-Theoretic Hierarchies
    Peter G. Hinman
    2017
  30. Fundamentals of Stability Theory
    John T. Baldwin
    2017
  31. Introduction to Coalgebra
    Bart Jacobs
    2016
  32. Ordinal Definability and Recursion Theory: Volume 3
    2016
  33. Computational Logic
    2014
  34. Monoidal Topology
    2014
  35. Three Views of Logic
    Donald W. Loveland, Richard Hodel, S. G. Sterrett, Susan Sterrett
    2014
  36. Wadge Degrees and Projective Ordinals
    2011
  37. Inductive Logic
    2011
  38. Deep Beauty
    2011
  39. Handbook of Logic and Language
    2010
  40. The Birth of Model Theory
    Calixto Badesa
    2009
  41. The Determinacy of Long Games
    Itay Neeman
    2008
  42. The Many Valued and Nonmonotonic Turn in Logic
    2007
  43. Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
    Guang-quan Zhang, Da Ruan, Jie Lu
    2007
  44. Philosophy of Logic
    2006
  45. A Practical Logic of Cognitive Systems
    Dov M. Gabbay, John Woods
    2005
  46. Mathematics and the Divine
    2004
  47. Coherent Systems
    Karl Schlechta
    2004
  48. Computational Complexity: A Quantitative Perspective
    Marius Zimand
    2004
  49. The Rise of Modern Logic: from Leibniz to Frege
    2004
  50. Infinite Words
    Dominique Perrin, Jean-Éric Pin
    2004
  51. Greek, Indian and Arabic Logic
    2004
  52. Advances In Modal Logic, Volume 3
    2002
  53. Theory of Relations
    R. Fraisse
    2000
  54. Quantum Theoretic Machines
    A. Stern
    2000
  55. Logic, Methodology and Philosophy of Science VII
    1986

Most popular on Perlego

1 of 20
  1. Formal Logic
    Formal Logic
    Paul A. Gregory
    2017
  2. A Beginner's Guide to Mathematical Logic
    A Beginner's Guide to Mathematical Logic
    Raymond M. Smullyan
    2014
  3. Simply Turing
    Simply Turing
    Michael Olinick
    2021
  4. The Ultimate Mathematical Challenge
    The UK Mathematics Trust
    2018
  5. The Foundations of Mathematics
    Thomas Q. Sibley
    2015
  6. Logic For Dummies
    Mark Zegarelli
    2025
  7. A First Course in Fuzzy Logic
    Hung T. Nguyen, Carol L. Walker, Elbert A. Walker, Carol Walker
    2018
  8. Mathematical Logic for Computer Science
    Paola Spoletini, Dino Mandrioli
    2020
  9. How to Read and Do Proofs
    Daniel Solow
    2013
  10. Logic Works
    Lorne Falkenstein, Scott Stapleford, Molly Kao
    2021
  11. Naive Set Theory
    Paul R. Halmos
    2017
  12. The Art and Craft of Problem Solving
    Paul Zeitz
    2016
  13. How to Solve It
    G. Polya, George Polya
    2014
  14. A New Introduction to Modal Logic
    M.J. Cresswell, G.E. Hughes
    2012
  15. Proof Analysis
    Sara Negri, Jan von Plato
    2011
  16. Conceptual Mathematics
    F. William Lawvere, Stephen H. Schanuel
    2009
  17. Logic
    Greg Restall
    2004
  18. Modern Mathematical Logic
    Joseph Mileti
    2022
  19. An Introduction to Mathematical Proofs
    Nicholas A. Loehr
    2019
  20. A TeXas Style Introduction to Proof
    Ron Taylor, Patrick X. Rault
    2018
  21. Set Theory
    Daniel W. Cunningham
    2016
  22. Basic Category Theory
    Tom Leinster
    2014
  23. Computability and Unsolvability
    Martin Davis
    2013
  24. Introduction to Logic
    Patrick Suppes
    2012
  25. Set Theory and Logic
    Robert R. Stoll
    2012
  26. Introduction to Analysis
    Maxwell Rosenlicht
    2012
  27. An Introduction to Critical Thinking and Creativity
    J. Y. F. Lau, Joe Y. F. Lau
    2011
  28. Gödel's Proof
    Ernest Nagel, James R Newman, Douglas R. Hofstadter, James R. Newman
    2001
  29. Proof Complexity
    Jan Krajíček
    2019
  30. Making Up Your Own Mind
    Edward B. Burger
    2018
  31. Logic
    Paul Tomassi
    2013
  32. A Course in Model Theory
    Katrin Tent, Martin Ziegler
    2012
  33. Mathematical Logic
    George Tourlakis
    2011
  34. The Search for Mathematical Roots, 1870-1940
    Ivor Grattan-Guinness
    2011
  35. Sheaf Theory through Examples
    Daniel Rosiak
    2022
  36. Classical and Nonclassical Logics
    Eric Schechter
    2020
  37. The Joy of Abstraction
    Eugenia Cheng
    2022
  38. Critical Views of Logic
    Mirja Hartimo, Frode Kjosavik, Øystein Linnebo
    2023
  39. The Story of Proof
    John Stillwell
    2022
  40. Transition to Advanced Mathematics
    Danilo R. Diedrichs, Stephen Lovett
    2022
  41. Theoretical Computer Science for the Working Category Theorist
    Noson S. Yanofsky
    2022
  42. What Makes Us Smart
    Samuel J. Gershman
    2021
  43. (Co)end Calculus
    Fosco Loregian
    2021
  44. Entropy and Diversity
    Tom Leinster
    2021
  45. An Introduction to Formal Logic: Second Edition
    Richard L Epstein
    2020
  46. Handbook of Fuzzy Computation
    E Ruspini, P Bonissone, W Pedrycz
    2020
  47. Principles of Mathematics
    Bertrand Russell
    2020
  48. The Development of Mathematical Logic
    P. H. Nidditch
    2019
  49. Reasoning and Formal Logic
    Richard L Epstein
    2018
  50. Fundamentals of Mathematical Logic
    Peter G. Hinman
    2018
  51. Fundamentals of Set and Number Theory
    Valeriy K. Zakharov, Timofey V. Rodionov
    2018
  52. Exploring Mathematics
    John Meier, Derek Smith
    2017
  53. Simply Gödel
    Richard Tieszen
    2017
  54. A Bridge to Higher Mathematics
    Valentin Deaconu, Donald C. Pfaff
    2016
  55. Exploring the Infinite
    Jennifer Brooks
    2016
  56. Introduction to Mathematical Logic
    Alonzo Church
    2016
  57. A First Course in Mathematical Logic and Set Theory
    Michael L. O'Leary
    2015
  58. Logic for Computer Science
    Jean H. Gallier
    2015
  59. Enlightening Symbols
    Joseph Mazur
    2014
  60. Agent_Zero
    Joshua M. Epstein
    2014
View all

Recently published

1 of 4
  1. Logic For Dummies
    Logic For Dummies
    Mark Zegarelli
    2025
  2. The Matrix Algebra of Logic
    The Matrix Algebra of Logic
    Eduardo Mizraji
    2026
  3. Differential and Integral Calculus
    Differential and Integral Calculus
    Svetlin G. Georgiev, Khaled Zennir
    2025
  4. Principles of Mathematics. Illustrated
    Bertrand Russell
    2025
  5. Limits and Derivatives of Real Functions for Physicists
    Nicolas A. Pereyra
    2025
  6. Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
    Lin Zhao, Jinpeng Yu
    2025
  7. Functional and Harmonic Analysis
    René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
    2025
  8. Polynomial Functors
    Nelson Niu, David I. Spivak
    2025
  9. Uni-variate Polynomials in Analysis
    Vladimir P. Kostov
    2025
  10. Catalan's Constant to 1, 500, 000 Places
    Various
    2025
View all

Recently added

1 of 12
  1. Analysis and Synthesis of Singular Systems
    Analysis and Synthesis of Singular Systems
    Zhiguang Feng, Jiangrong Li, Peng Shi, Haiping Du, Zhengyi Jiang
    2020
  2. Introduction to Mathematical Proofs
    Introduction to Mathematical Proofs
    Charles Roberts, Charles E. Roberts Jr.
    2014
  3. The Matrix Algebra of Logic
    The Matrix Algebra of Logic
    Eduardo Mizraji
    2026
  4. The Logic, Philosophy, and History of the Lambda-Calculus
    Levis Zerpa
    2025
  5. Two Applications of Logic to Mathematics
    Gaisi Takeuti
    2015
  6. Catalan's Constant to 1, 500, 000 Places
    Various
    2025
  7. Proof Complexity Generators
    Jan Krajíček
    2025
  8. The Largest Suslin Axiom
    Grigor Sargsyan, Nam Trang
    2024
  9. Polynomial Functors
    Nelson Niu, David I. Spivak
    2025
  10. The Theory of Countable Borel Equivalence Relations
    Alexander S. Kechris
    2024
  11. A Theory of Truth
    Yannis Stephanou
    2023
  12. Polygraphs: From Rewriting to Higher Categories
    Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
    2025
  13. An Introduction to Classical and Modal Logics
    Adam Bjorndahl
    2024
  14. The Logic of Entailment and its History
    Edwin Mares
    2024
  15. Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
    Lin Zhao, Jinpeng Yu
    2025
  16. Functional and Harmonic Analysis
    René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
    2025
  17. Uni-variate Polynomials in Analysis
    Vladimir P. Kostov
    2025
  18. Differential and Integral Calculus
    Svetlin G. Georgiev, Khaled Zennir
    2025
  19. Math Tricks
    Alfred S. Posamentier
    2021
  20. Principles of Mathematics. Illustrated
    Bertrand Russell
    2025
  21. The Gold-Bug
    Edgar Allan Poe
    2024
  22. Logic For Dummies
    Mark Zegarelli
    2025
  23. Critical Thinking
    Damiano Canale, Aldo Frigerio, Giovanni Tuzet, Roberto Ciuni
    2022
  24. Modeling and Control of Dynamic Spatially Distributed Systems
    Yizhi Wang, Zhong Yang
    2024
  25. Introduction to Logic
    Immanuel Kant
    2022
  26. Limits and Derivatives of Real Functions for Physicists
    Nicolas A. Pereyra
    2025
  27. Weighted Morrey Spaces
    Marcus Laurel, Marius Mitrea
    2024
  28. A Beginner’s Guide to Mathematical Proof
    Mark J. DeBonis
    2025
  29. Harmony and Paradox
    Luca Tranchini
    2024
  30. The Joy of Abstraction
    Eugenia Cheng
    2022
  31. The Price of Cake
    Clément Deslandes, Guillaume Deslandes, Laure Macé de Lépinay
    2023
  32. Sheaf Theory through Examples
    Daniel Rosiak
    2022
  33. Introduction to Incompleteness
    Serafim Batzoglou
    2024
  34. New Directions in Relevant Logic
    2025
View all

PERLEGO

PricingFAQsContact UsPerlego for InstructorsPerlego for InstitutionsPerlego for PublishersCareersPress

BROWSE

TopicsPublishersIndexKnowledge BaseStudy GuidesHarvard Referencing GuidesAPA Referencing GuidesEssay Writing GuidesResearch Assistant
ArchitectureArtBiological SciencesBusinessComputer ScienceDesignEconomicsEducationHistoryLanguages & LinguisticsLawLiteratureMathematicsMedia & Performing ArtsMedicinePersonal DevelopmentPhilosophyPhysical SciencesPolitics & International RelationsPsychologySocial SciencesStudy AidsTechnology & EngineeringTheology & Religion

Made with ☂︎ in London - © 2026 Perlego Ltd - Perlego HQ, 1 Waterhouse Sq, 138 Holborn, London, EC1N 2ST, United Kingdom - VAT 246681777

PrivacyTermsContent Policy
, (opens in new tab)
BooksSubtopicsPublishersIndexMissionCookiesSmart SearchAccessibility
, (opens in new tab)
Help Centre
, (opens in new tab)
Knowledge Base
, (opens in new tab)

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Instagram
Facebook
LinkedIn
Tiktok
X
DeutschEnglishEspañolFrançaisItaliano