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

Most popular on Perlego

1 of 20
  1. Simply Turing
    Simply Turing
    Michael Olinick
    2021
  2. The Ultimate Mathematical Challenge
    The Ultimate Mathematical Challenge
    The UK Mathematics Trust
    2018
  3. A Beginner's Guide to Mathematical Logic
    A Beginner's Guide to Mathematical Logic
    Raymond M. Smullyan
    2014
  4. The Art and Craft of Problem Solving
    Paul Zeitz
    2016
  5. The Foundations of Mathematics
    Thomas Q. Sibley
    2015
  6. Introduction to Logic
    Patrick Suppes
    2012
  7. Logic For Dummies
    Mark Zegarelli
    2025
  8. Critical Thinking
    Damiano Canale, Aldo Frigerio, Giovanni Tuzet, Roberto Ciuni
    2022
  9. A First Course in Fuzzy Logic
    Hung T. Nguyen, Carol L. Walker, Elbert A. Walker, Carol Walker
    2018
  10. A Profile of Mathematical Logic
    Howard DeLong
    2012
  11. Mathematical Logic for Computer Science
    Paola Spoletini, Dino Mandrioli
    2020
  12. Basic Category Theory
    Tom Leinster
    2014
  13. How to Read and Do Proofs
    Daniel Solow
    2013
  14. Computability Theory
    S. Barry Cooper, S. Barry Cooper
    2017
  15. Exploring Mathematics
    John Meier, Derek Smith
    2017
  16. Conceptual Mathematics
    F. William Lawvere, Stephen H. Schanuel
    2009
  17. Secret History
    Craig Bauer
    2021
  18. An Introduction to Mathematical Proofs
    Nicholas A. Loehr
    2019
  19. Sets, Functions, and Logic
    Keith Devlin
    2018
  20. Formal Logic
    Paul A. Gregory
    2017
  21. Logic: The Basics
    Jc Beall, Shay Allen Logan
    2017
  22. Naive Set Theory
    Paul R. Halmos
    2017
  23. A Bridge to Higher Mathematics
    Valentin Deaconu, Donald C. Pfaff
    2016
  24. Set Theory
    Daniel W. Cunningham
    2016
  25. How to Solve It
    G. Polya, George Polya
    2014
  26. Logic
    Paul Tomassi
    2013
  27. Computability and Unsolvability
    Martin Davis
    2013
  28. A New Introduction to Modal Logic
    M.J. Cresswell, G.E. Hughes
    2012
  29. Set Theory and Logic
    Robert R. Stoll
    2012
  30. An Introduction to Critical Thinking and Creativity
    J. Y. F. Lau, Joe Y. F. Lau
    2011
  31. Proof Analysis
    Sara Negri, Jan von Plato
    2011
  32. The Search for Mathematical Roots, 1870-1940
    Ivor Grattan-Guinness
    2011
  33. Invariant Descriptive Set Theory
    Su Gao
    2008
  34. Gödel's Proof
    Ernest Nagel, James R Newman, Douglas R. Hofstadter, James R. Newman
    2001
  35. Computable Structure Theory
    Antonio Montalbán
    2021
  36. Proof Complexity
    Jan Krajíček
    2019
  37. A TeXas Style Introduction to Proof
    Ron Taylor, Patrick X. Rault
    2018
  38. Making Up Your Own Mind
    Edward B. Burger
    2018
  39. Modal Logics and Philosophy
    Rod Girle
    2014
  40. What Is Mathematical Logic?
    J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
    2012
  41. Classical and Nonclassical Logics
    Eric Schechter
    2020
  42. The Joy of Abstraction
    Eugenia Cheng
    2022
  43. Discrete Mathematics with Coding
    Hugo D Junghenn
    2023
  44. Sheaf Theory through Examples
    Daniel Rosiak
    2022
  45. Entropy and Diversity
    Tom Leinster
    2021
  46. Godel's Proof
    Ernest Nagel, James R. Newman
    2012
  47. Mathematical Logic For Computer Science
    Zhongwan Lu
    1998
  48. The Matrix Algebra of Logic
    Eduardo Mizraji
    2026
  49. Differential and Integral Calculus
    Svetlin G. Georgiev, Khaled Zennir
    2025
  50. Principles of Mathematics. Illustrated
    Bertrand Russell
    2025
  51. Set Theory
    André Robert, Robert André
    2025
  52. Polygraphs: From Rewriting to Higher Categories
    Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
    2025
  53. A Beginner’s Guide to Mathematical Proof
    Mark J. DeBonis
    2025
  54. New Directions in Relevant Logic
    2025
  55. The Language of Mathematics
    Raúl Rojas
    2025
  56. The Logic, Philosophy, and History of the Lambda-Calculus
    Levis Zerpa
    2025
  57. An Introduction to Classical and Modal Logics
    Adam Bjorndahl
    2024
  58. Mathematical Puzzles
    Peter Winkler
    2024
  59. Taking the “Oof!” Out of Proofs
    Alexandr Draganov
    2024
  60. Intuitive Axiomatic Set Theory
    José L Garciá
    2024
View all

Recently published

1 of 3
  1. The Matrix Algebra of Logic
    The Matrix Algebra of Logic
    Eduardo Mizraji
    2026
  2. Differential and Integral Calculus
    Differential and Integral Calculus
    Svetlin G. Georgiev, Khaled Zennir
    2025
  3. Artificial Conscience for the Quantum Physicist
    Artificial Conscience for the Quantum Physicist
    Ariel Fernández Stigliano
    2026
  4. Neutrosophic Computing and Vague Data Analysis
    2026
  5. Automata Theory and Formal Languages
    Władysław Homenda, Witold Pedrycz
    2026
  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
View all

Recently added

1 of 10
  1. THE CANTERBURY PUZZLES & OTHER CURIOUS PROBLEMS
    THE CANTERBURY PUZZLES & OTHER CURIOUS PROBLEMS
    Henry Ernest Dudeney
    2017
  2. The Mathematical Works of Lewis Carroll
    The Mathematical Works of Lewis Carroll
    Lewis Carroll
    2017
  3. Mastering Logical Reasoning
    Mastering Logical Reasoning
    Azhar ul Haque Sario
    2024
  4. Artificial Conscience for the Quantum Physicist
    Ariel Fernández Stigliano
    2026
  5. Analysis of the Navier-Stokes Problem
    Alexander G. Ramm
    2023
  6. New Essays on Belnap-­Dunn Logic
    2020
  7. Ludwig Wittgenstein: Dictating Philosophy
    2020
  8. Can Mathematics Be Proved Consistent?
    Jan von Plato
    2020
  9. Formal Methods Teaching
    2021
  10. Automata Theory and Formal Languages
    Władysław Homenda, Witold Pedrycz
    2026
  11. Neutrosophic Computing and Vague Data Analysis
    2026
  12. Mathematical Foundations of Fuzzy Sets
    Hsien-Chung Wu
    2023
  13. Analysis and Synthesis of Singular Systems
    Zhiguang Feng, Jiangrong Li, Peng Shi, Haiping Du, Zhengyi Jiang
    2020
  14. Introduction to Mathematical Proofs
    Charles Roberts, Charles E. Roberts Jr.
    2014
  15. The Matrix Algebra of Logic
    Eduardo Mizraji
    2026
  16. The Logic, Philosophy, and History of the Lambda-Calculus
    Levis Zerpa
    2025
  17. Two Applications of Logic to Mathematics
    Gaisi Takeuti
    2015
  18. Catalan's Constant to 1, 500, 000 Places
    Various, Various
    2025
  19. Proof Complexity Generators
    Jan Krajíček
    2025
  20. The Largest Suslin Axiom
    Grigor Sargsyan, Nam Trang
    2024
  21. Polynomial Functors
    Nelson Niu, David I. Spivak
    2025
  22. The Theory of Countable Borel Equivalence Relations
    Alexander S. Kechris
    2024
  23. A Theory of Truth
    Yannis Stephanou
    2023
  24. Polygraphs: From Rewriting to Higher Categories
    Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
    2025
  25. An Introduction to Classical and Modal Logics
    Adam Bjorndahl
    2024
  26. The Logic of Entailment and its History
    Edwin Mares
    2024
  27. Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
    Lin Zhao, Jinpeng Yu
    2025
  28. Functional and Harmonic Analysis
    René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
    2025
  29. Uni-variate Polynomials in Analysis
    Vladimir P. Kostov
    2025
  30. Differential and Integral Calculus
    Svetlin G. Georgiev, Khaled Zennir
    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