Mathematics iconMathematics

Logic in Mathematics

ExploreBooksRelated topics
Find by topic
View all
Most popular on Perlego
View all
How to Read and Do Proofs_cover
How to Read and Do Proofs
Daniel Solow
2013
The Art and Craft of Problem Solving_cover
The Art and Craft of Problem Solving
Paul Zeitz
2016
Formal Logic_cover
Formal Logic
Paul A. Gregory
2017
The Foundations of Mathematics_cover
The Foundations of Mathematics
Thomas Q. Sibley
2015
The Story of Proof_cover
The Story of Proof
John Stillwell
2022
Computability_cover
Computability
Richard L Epstein, Walter A Carnielli
2018
How to Solve It_cover
How to Solve It
G. Polya
2014
A TeXas Style Introduction to Proof_cover
A TeXas Style Introduction to Proof
Ron Taylor, Patrick X. Rault
2018
Basic Discrete Mathematics_cover
Basic Discrete Mathematics
Richard Kohar
2016
Set Theory_cover
Set Theory
Daniel W. Cunningham
2016
Logic For Dummies_cover
Logic For Dummies
Mark Zegarelli
2007
Godel's Proof_cover
Godel's Proof
Ernest Nagel, James R. Newman
2001
Proof Analysis_cover
Proof Analysis
Sara Negri, Jan von Plato
2011
Introducción a la lógica matemática_cover
Introducción a la lógica matemática
Tinoco del Valle, Jesús, Hernández Sastoque, Eric, Escorcia Caballero, Edgardo
2023
An Introduction to Mathematical Proofs_cover
An Introduction to Mathematical Proofs
Nicholas A. Loehr
2019
Discrete Mathematics with Coding_cover
Discrete Mathematics with Coding
Hugo D Junghenn
2023
Logic for Kids_cover
Logic for Kids
Arnold Cusmariu
2023
Introduction to Mathematical Logic_cover
Introduction to Mathematical Logic
Micha?? Walicki
2016
Modern Mathematical Logic_cover
Modern Mathematical Logic
Joseph Mileti
2022
Introducción a la Lógica matemática_cover
Introducción a la Lógica matemática
P. Suppes, S. Hill
1968
Mathematical Foundations of Fuzzy Sets_cover
Mathematical Foundations of Fuzzy Sets
Hsien-Chung Wu
2023
Flatland_cover
Flatland
Edwin A. Abbott, Charles Twain
2022
Alan Turing's Systems of Logic_cover
Alan Turing's Systems of Logic
Andrew W. Appel
2021
Introduction to Fuzzy Logic_cover
Introduction to Fuzzy Logic
James K. Peckol
2021
Mathe kompakt für Dummies_cover
Mathe kompakt für Dummies
Mark Zegarelli
2020
Making Up Your Own Mind_cover
Making Up Your Own Mind
Edward B. Burger
2018
Reverse Mathematics_cover
Reverse Mathematics
John Stillwell
2018
Category Theory in Context_cover
Category Theory in Context
Emily Riehl
2017
That's Maths_cover
That's Maths
Peter Lynch
2016
Introduction to Mathematical Logic, Volume 13_cover
Introduction to Mathematical Logic, Volume 13
Alonzo Church
2016
Basic Category Theory_cover
Basic Category Theory
Tom Leinster
2014
A Beginner's Guide to Mathematical Logic_cover
A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
2014
Paradoxes of the Infinite_cover
Paradoxes of the Infinite
Bernard Bolzano
2014
Mathematical Logic_cover
Mathematical Logic
Stephen Cole Kleene
2013
A Profile of Mathematical Logic_cover
A Profile of Mathematical Logic
Howard DeLong
2012
Introduction to Logic_cover
Introduction to Logic
Patrick Suppes
2012
Classical Mathematical Logic_cover
Classical Mathematical Logic
Richard L. Epstein
2011
Logic of Mathematics_cover
Logic of Mathematics
Zofia Adamowicz, Pawel Zbierski
2011
Inductive Logic_cover
Inductive Logic
Dov M. Gabbay, John Woods
2011
Conceptual Mathematics_cover
Conceptual Mathematics
F. William Lawvere, Stephen H. Schanuel
2009
Mathematics and the Divine_cover
Mathematics and the Divine
Teun Koetsier, Luc Bergmans
2004
Jewels Of Stringology: Text Algorithms_cover
Jewels Of Stringology: Text Algorithms
Maxime Crochemore, Wojciech Rytter
2002
Numbers and Proofs_cover
Numbers and Proofs
Reg Allenby
1997
Lo scarabeo d'oro_cover
Lo scarabeo d'oro
Edgar Allan Poe
2024
Lateral Solutions to Mathematical Problems_cover
Lateral Solutions to Mathematical Problems
Desmond MacHale
2023
Mathematical Logic_cover
Mathematical Logic
Daniel Cunningham
2023
Entropy and Diversity_cover
Entropy and Diversity
Tom Leinster
2021
Leitfaden für Schachspieler_cover
Leitfaden für Schachspieler
H. Von der Lasa
2021
Simply Turing_cover
Simply Turing
Michael Olinick
2021
Games for Your Mind_cover
Games for Your Mind
Jason Rosenhouse
2020
Classical and Nonclassical Logics_cover
Classical and Nonclassical Logics
Eric Schechter
2020
An Introduction to Formal Logic: Second Edition_cover
An Introduction to Formal Logic: Second Edition
Richard L Epstein
2020
I dadi giocano a Dio?_cover
I dadi giocano a Dio?
Ian Stewart
2020
Recently published
View all
Discrete Mathematics with Coding_cover
Discrete Mathematics with Coding
Hugo D Junghenn
2023
Logic for Kids_cover
Logic for Kids
Arnold Cusmariu
2023
Lo scarabeo d'oro_cover
Lo scarabeo d'oro
Edgar Allan Poe
2024
Lateral Solutions to Mathematical Problems_cover
Lateral Solutions to Mathematical Problems
Desmond MacHale
2023
Mathematical Logic_cover
Mathematical Logic
Daniel Cunningham
2023
Mathematical Puzzles_cover
Mathematical Puzzles
Peter Winkler
2024
Taking the "Oof!" Out of Proofs_cover
Taking the "Oof!" Out of Proofs
Alexandr Draganov
2024
Intuitive Axiomatic Set Theory_cover
Intuitive Axiomatic Set Theory
José L Garciá
2024
Automatic Complexity_cover
Automatic Complexity
Bjørn Kjos-Hanssen
2024
Critical Views of Logic_cover
Critical Views of Logic
Mirja Hartimo, Frode Kjosavik, Øystein Linnebo
2023
Model Theory of Operator Algebras_cover
Model Theory of Operator Algebras
Isaac Goldbring
2023
Harmonic Analysis and Convexity_cover
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
The Baseball Mysteries_cover
The Baseball Mysteries
Jerry Butters, Jim Henle
2023
Recently added
View all
Taking the "Oof!" Out of Proofs_cover
Taking the "Oof!" Out of Proofs
Alexandr Draganov
2024
Mathematical Puzzles_cover
Mathematical Puzzles
Peter Winkler
2024
Intuitive Axiomatic Set Theory_cover
Intuitive Axiomatic Set Theory
José L Garciá
2024
Automatic Complexity_cover
Automatic Complexity
Bjørn Kjos-Hanssen
2024
Lo scarabeo d'oro_cover
Lo scarabeo d'oro
Edgar Allan Poe
2024
Mathematical Logic_cover
Mathematical Logic
Daniel Cunningham
2023
The Baseball Mysteries_cover
The Baseball Mysteries
Jerry Butters, Jim Henle
2023
The Elements of Advanced Mathematics_cover
The Elements of Advanced Mathematics
Steven G. Krantz
2022
Transition to Advanced Mathematics_cover
Transition to Advanced Mathematics
Danilo R. Diedrichs, Stephen Lovett
2022
Harmonic Analysis and Convexity_cover
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
Category Theory_cover
Category Theory
Zoran Majkic
2023
Model Theory of Operator Algebras_cover
Model Theory of Operator Algebras
Isaac Goldbring
2023
Automata Theory and Formal Languages_cover
Automata Theory and Formal Languages
Wladyslaw Homenda, Witold Pedrycz
2022
Critical Views of Logic_cover
Critical Views of Logic
Mirja Hartimo, Frode Kjosavik, Øystein Linnebo
2023
Modern Mathematical Logic_cover
Modern Mathematical Logic
Joseph Mileti
2022
Algorithmic Randomness_cover
Algorithmic Randomness
2020
(Co)end Calculus_cover
(Co)end Calculus
Fosco Loregian
2021
Elements of ∞-Category Theory_cover
Elements of ∞-Category Theory
Emily Riehl, Dominic Verity
2022
Computable Structure Theory_cover
Computable Structure Theory
Antonio Montalbán
2021
Foundations of Constructive Probability Theory_cover
Foundations of Constructive Probability Theory
Yuen-Kwok Chan
2021
Entropy and Diversity_cover
Entropy and Diversity
Tom Leinster
2021
Justification Logic_cover
Justification Logic
Sergei Artemov, Melvin Fitting
2019
An Invitation to Applied Category Theory_cover
An Invitation to Applied Category Theory
Brendan Fong, David I. Spivak
2019
Proof Complexity_cover
Proof Complexity
Jan Krajíček
2019
Synthetic Differential Topology_cover
Synthetic Differential Topology
Marta Bunge, Felipe Gago, Ana María San Luis
2018
Exploring Mathematics_cover
Exploring Mathematics
John Meier, Derek Smith
2017
Degrees of Unsolvability_cover
Degrees of Unsolvability
Manuel Lerman
2017
Proper and Improper Forcing_cover
Proper and Improper Forcing
Saharon Shelah
2017
Constructibility_cover
Constructibility
Keith J. Devlin
2017
Fine Structure and Iteration Trees_cover
Fine Structure and Iteration Trees
William J. Mitchell, John R. Steel
2017
Logic Colloquium '90_cover
Logic Colloquium '90
2017
Computability in Analysis and Physics_cover
Computability in Analysis and Physics
Marian B. Pour-El, J. Ian Richards
2017
Higher Recursion Theory_cover
Higher Recursion Theory
Gerald E. Sacks
2017
Metamathematics of First-Order Arithmetic_cover
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák
2017
Admissible Sets and Structures_cover
Admissible Sets and Structures
Jon Barwise
2017
Model-Theoretic Logics_cover
Model-Theoretic Logics
2017
Recursion-Theoretic Hierarchies_cover
Recursion-Theoretic Hierarchies
Peter G. Hinman
2017
General Recursion Theory_cover
General Recursion Theory
Jens E. Fenstad
2017
Basic Category Theory_cover
Basic Category Theory
Tom Leinster
2014
Graph Structure and Monadic Second-Order Logic_cover
Graph Structure and Monadic Second-Order Logic
Bruno Courcelle, Joost Engelfriet
2012
A Course in Model Theory_cover
A Course in Model Theory
Katrin Tent, Martin Ziegler
2012
Quantifiers, Propositions and Identity_cover
Quantifiers, Propositions and Identity
Robert Goldblatt
2011
Models and Games_cover
Models and Games
Jouko Väänänen
2011
Infinity_cover
Infinity
2011
Introducción a la Lógica matemática_cover
Introducción a la Lógica matemática
P. Suppes, S. Hill
1968
Mathe kompakt für Dummies_cover
Mathe kompakt für Dummies
Mark Zegarelli
2020
Philosophie der Mathematik_cover
Philosophie der Mathematik
Thomas Bedürftig, Roman Murawski
2019
Infinite Words_cover
Infinite Words
Dominique Perrin, Jean-Éric Pin
2004
Lateral Solutions to Mathematical Problems_cover
Lateral Solutions to Mathematical Problems
Desmond MacHale
2023
Discrete Mathematics with Coding_cover
Discrete Mathematics with Coding
Hugo D Junghenn
2023
Flatland_cover
Flatland
Edwin A. Abbott, Charles Twain
2022
Introducción a la lógica matemática_cover
Introducción a la lógica matemática
Tinoco del Valle, Jesús, Hernández Sastoque, Eric, Escorcia Caballero, Edgardo
2023
Logic for Kids_cover
Logic for Kids
Arnold Cusmariu
2023