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 17
  1. Theory of Relations
    Theory of Relations
    R. Fraisse
    2000
  2. Proof Complexity
    Proof Complexity
    Jan Krajíček
    2019
  3. The Search for Mathematical Roots, 1870-1940
    The Search for Mathematical Roots, 1870-1940
    Ivor Grattan-Guinness
    2011
  4. Elements of Automata Theory
    Jacques Sakarovitch
    2009
  5. Logic from Russell to Church
    2009
  6. Model Theory of Operator Algebras
    Isaac Goldbring
    2023
  7. Handbook of Fuzzy Computation
    E Ruspini, P Bonissone, W Pedrycz
    2020
  8. Graph Structure and Monadic Second-Order Logic
    Bruno Courcelle, Joost Engelfriet
    2012
  9. Logic of Mathematics
    Zofia Adamowicz, Pawel Zbierski
    2011
  10. Axiomatic Set Theory
    R.B. Chuaqui
    2011
  11. Handbook of Quantum Logic and Quantum Structures
    2009
  12. Set Theory
    Tomek Bartoszynski, Haim Judah
    1995
  13. Automatic Complexity
    Bjørn Kjos-Hanssen
    2024
  14. Harmonic Analysis and Convexity
    Alexander Koldobsky, Alexander Volberg
    2023
  15. The Ultrapower Axiom
    Gabriel Goldberg
    2022
  16. Foundations of Constructive Probability Theory
    Yuen-Kwok Chan
    2021
  17. Continua
    2020
  18. 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
  19. Multiple-Valued Logic Design
    G Epstein
    2017
  20. Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
    Martin Grohe
    2017
  21. Proper and Improper Forcing
    Saharon Shelah
    2017
  22. Metamathematics of First-Order Arithmetic
    Petr Hájek, Pavel Pudlák
    2017
  23. Model-Theoretic Logics
    2017
  24. Recursion-Theoretic Hierarchies
    Peter G. Hinman
    2017
  25. Fundamentals of Stability Theory
    John T. Baldwin
    2017
  26. Introduction to Coalgebra
    Bart Jacobs
    2016
  27. Ordinal Definability and Recursion Theory: Volume 3
    2016
  28. Computational Logic
    2014
  29. Three Views of Logic
    Donald W. Loveland, Richard Hodel, S. G. Sterrett, Susan Sterrett
    2014
  30. Inductive Logic
    2011
  31. Handbook of Logic and Language
    2010
  32. The Birth of Model Theory
    Calixto Badesa
    2009
  33. The Determinacy of Long Games
    Itay Neeman
    2008
  34. Mediaeval and Renaissance Logic
    2008
  35. The Many Valued and Nonmonotonic Turn in Logic
    2007
  36. Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
    Guang-quan Zhang, Da Ruan, Jie Lu
    2007
  37. Philosophy of Logic
    2006
  38. A Practical Logic of Cognitive Systems
    Dov M. Gabbay, John Woods
    2005
  39. Mathematics and the Divine
    2004
  40. Coherent Systems
    Karl Schlechta
    2004
  41. Computational Complexity: A Quantitative Perspective
    Marius Zimand
    2004
  42. The Rise of Modern Logic: from Leibniz to Frege
    2004
  43. Infinite Words
    Dominique Perrin, Jean-Éric Pin
    2004
  44. Greek, Indian and Arabic Logic
    2004
  45. Advances In Modal Logic, Volume 3
    2002
  46. Quantum Theoretic Machines
    A. Stern
    2000
  47. Handbook of Proof Theory
    1998
  48. Handbook of Logic and Language
    1996
  49. 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. Critical Views of Logic
    Mirja Hartimo, Frode Kjosavik, Øystein Linnebo
    2023
  5. Algebraic Logic
    Paul R. Halmos
    2016
  6. The Foundations of Mathematics
    Thomas Q. Sibley
    2015
  7. The Art and Craft of Problem Solving
    Paul Zeitz
    2016
  8. Logic For Dummies
    Mark Zegarelli
    2025
  9. The Ultimate Mathematical Challenge
    The UK Mathematics Trust
    2018
  10. Recursion Theory
    Joseph R. Shoenfield
    2017
  11. Sets for Mathematics
    F. William Lawvere, Robert Rosebrugh
    2003
  12. Theory of Relations
    R. Fraisse
    2000
  13. Mathematical Logic for Computer Science
    Paola Spoletini, Dino Mandrioli
    2020
  14. How to Read and Do Proofs
    Daniel Solow
    2013
  15. How to Solve It
    G. Polya, George Polya
    2014
  16. Conceptual Mathematics
    F. William Lawvere, Stephen H. Schanuel
    2009
  17. Logic Works
    Lorne Falkenstein, Scott Stapleford, Molly Kao
    2021
  18. An Introduction to Mathematical Proofs
    Nicholas A. Loehr
    2019
  19. Naive Set Theory
    Paul R. Halmos
    2017
  20. Logic
    Greg Restall
    2004
  21. Gödel's Proof
    Ernest Nagel, James R Newman, Douglas R. Hofstadter, James R. Newman
    2001
  22. An Introduction to Critical Thinking and Creativity
    J. Y. F. Lau, Joe Y. F. Lau
    2011
  23. Basic Category Theory
    Tom Leinster
    2014
  24. Set Theory and Logic
    Robert R. Stoll
    2012
  25. Modern Mathematical Logic
    Joseph Mileti
    2022
  26. A TeXas Style Introduction to Proof
    Ron Taylor, Patrick X. Rault
    2018
  27. Making Up Your Own Mind
    Edward B. Burger
    2018
  28. Set Theory
    Daniel W. Cunningham
    2016
  29. Computability and Unsolvability
    Martin Davis
    2013
  30. A New Introduction to Modal Logic
    M.J. Cresswell, G.E. Hughes
    2012
  31. Introduction to Logic
    Patrick Suppes
    2012
  32. Introduction to Analysis
    Maxwell Rosenlicht
    2012
  33. Mathematical Logic
    George Tourlakis
    2011
  34. Proof Complexity
    Jan Krajíček
    2019
  35. Logic
    Paul Tomassi
    2013
  36. A Course in Model Theory
    Katrin Tent, Martin Ziegler
    2012
  37. Proof Analysis
    Sara Negri, Jan von Plato
    2011
  38. The Search for Mathematical Roots, 1870-1940
    Ivor Grattan-Guinness
    2011
  39. Sheaf Theory through Examples
    Daniel Rosiak
    2022
  40. The Joy of Abstraction
    Eugenia Cheng
    2022
  41. Intuitive Axiomatic Set Theory
    José L Garciá
    2024
  42. The Story of Proof
    John Stillwell
    2022
  43. Theoretical Computer Science for the Working Category Theorist
    Noson S. Yanofsky
    2022
  44. Simply Gödel
    Richard Tieszen
    2017
  45. Playing with Infinity
    Rózsa Péter
    2012
  46. Infinity
    2011
  47. Elements of Automata Theory
    Jacques Sakarovitch
    2009
  48. Logic from Russell to Church
    2009
  49. Flatland
    Edwin A. Abbott, Charles Twain
    2022
  50. Introduction to Set Theory, Revised and Expanded
    Karel Hrbacek, Thomas Jech
    2017
  51. Category Theory in Context
    Emily Riehl
    2017
  52. Introduction to Mathematical Logic
    Micha?? Walicki
    2016
  53. Proof Theory
    Gaisi Takeuti
    2013
  54. The Matrix Algebra of Logic
    Eduardo Mizraji
    2026
  55. Differential and Integral Calculus
    Svetlin G. Georgiev, Khaled Zennir
    2025
  56. Principles of Mathematics. Illustrated
    Bertrand Russell
    2025
  57. Limits and Derivatives of Real Functions for Physicists
    Nicolas A. Pereyra
    2025
  58. Set Theory
    André Robert, Robert André
    2025
  59. New Directions in Relevant Logic
    2025
  60. The Language of Mathematics
    Raúl Rojas
    2025
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. Functional and Harmonic Analysis
    René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
    2025
  7. Polynomial Functors
    Nelson Niu, David I. Spivak
    2025
  8. Uni-variate Polynomials in Analysis
    Vladimir P. Kostov
    2025
  9. Catalan's Constant to 1, 500, 000 Places
    Various
    2025
  10. Proof Complexity Generators
    Jan Krajíček
    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. The Matrix Algebra of Logic
    The Matrix Algebra of Logic
    Eduardo Mizraji
    2026
  3. The Logic, Philosophy, and History of the Lambda-Calculus
    The Logic, Philosophy, and History of the Lambda-Calculus
    Levis Zerpa
    2025
  4. Two Applications of Logic to Mathematics
    Gaisi Takeuti
    2015
  5. Catalan's Constant to 1, 500, 000 Places
    Various
    2025
  6. Proof Complexity Generators
    Jan Krajíček
    2025
  7. The Largest Suslin Axiom
    Grigor Sargsyan, Nam Trang
    2024
  8. Polynomial Functors
    Nelson Niu, David I. Spivak
    2025
  9. The Theory of Countable Borel Equivalence Relations
    Alexander S. Kechris
    2024
  10. A Theory of Truth
    Yannis Stephanou
    2023
  11. Polygraphs: From Rewriting to Higher Categories
    Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
    2025
  12. An Introduction to Classical and Modal Logics
    Adam Bjorndahl
    2024
  13. The Logic of Entailment and its History
    Edwin Mares
    2024
  14. Functional and Harmonic Analysis
    René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
    2025
  15. Uni-variate Polynomials in Analysis
    Vladimir P. Kostov
    2025
  16. Differential and Integral Calculus
    Svetlin G. Georgiev, Khaled Zennir
    2025
  17. Math Tricks
    Alfred S. Posamentier
    2021
  18. Principles of Mathematics. Illustrated
    Bertrand Russell
    2025
  19. The Gold-Bug
    Edgar Allan Poe
    2024
  20. Logic For Dummies
    Mark Zegarelli
    2025
  21. Critical Thinking
    Damiano Canale, Aldo Frigerio, Giovanni Tuzet, Roberto Ciuni
    2022
  22. Modeling and Control of Dynamic Spatially Distributed Systems
    Yizhi Wang, Zhong Yang
    2024
  23. Introduction to Logic
    Immanuel Kant
    2022
  24. Limits and Derivatives of Real Functions for Physicists
    Nicolas A. Pereyra
    2025
  25. Weighted Morrey Spaces
    Marcus Laurel, Marius Mitrea
    2024
  26. Harmony and Paradox
    Luca Tranchini
    2024
  27. The Joy of Abstraction
    Eugenia Cheng
    2022
  28. Philosophie der Mathematik
    Thomas Bedürftig, Roman Murawski
    2015
  29. Sheaf Theory through Examples
    Daniel Rosiak
    2022
  30. The Price of Cake
    Clément Deslandes, Guillaume Deslandes, Laure Macé de Lépinay
    2023
  31. Introduction to Incompleteness
    Serafim Batzoglou
    2024
  32. New Directions in Relevant Logic
    2025
  33. The Search for Mathematical Roots, 1870-1940
    Ivor Grattan-Guinness
    2011
  34. smarTEST Prep
    Pratheep Sevanthinathan, Padmini Raghavan
    2013
  35. Logic with a Probability Semantics
    Theodore Hailperin
    2010
  36. Inquisitive Logic
    Ivano Ciardelli
    2023
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