Skip to main content
Discover
Pricing
WEBSITE LANGUAGE
Deutsch - DE
English - EN
selected language
Español - ES
Français - FR
Italiano - IT
Your selection
will not affect books.
Website language selection impacts menus and navigation.
globe icon
English
close
Login
Sign up to read
WEBSITE LANGUAGE
Deutsch - DE
English - EN
selected language
Español - ES
Français - FR
Italiano - IT
Your selection
will not affect books.
Website language selection impacts menus and navigation.
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
Discover
Mathematics
Logic in Mathematics
Mathematics
Logic in Mathematics
Explore
Books
Related topics
All languages
close
Recently added
close
Showing 1 - 60 out of 118 books
Introducción a la lógica matemática
Tinoco del Valle, Jesús, Hernández Sastoque, Eric, Escorcia Caballero, Edgardo
2023
Discrete Mathematics with Coding
Hugo D Junghenn
2023
Logic for Kids
Arnold Cusmariu
2023
Modern Mathematical Logic
Joseph Mileti
2022
Introducción a la Lógica matemática
P. Suppes, S. Hill
1968
Flatland
Edwin A. Abbott, Charles Twain
2022
Mathe kompakt für Dummies
Mark Zegarelli
2020
Basic Category Theory
Tom Leinster
2014
Lo scarabeo d'oro
Edgar Allan Poe
2024
Lateral Solutions to Mathematical Problems
Desmond MacHale
2023
Mathematical Logic
Daniel Cunningham
2023
Entropy and Diversity
Tom Leinster
2021
Philosophie der Mathematik
Thomas Bedürftig, Roman Murawski
2019
Proof Complexity
Jan Krajíček
2019
Logical Modalities from Aristotle to Carnap
2016
Graph Structure and Monadic Second-Order Logic
Bruno Courcelle, Joost Engelfriet
2012
Quantifiers, Propositions and Identity
Robert Goldblatt
2011
Models and Games
Jouko Väänänen
2011
Infinity
2011
Infinite Words
Dominique Perrin, Jean-Éric Pin
2004
Category Theory
Zoran Majkic
2023
Elements of ∞-Category Theory
Emily Riehl, Dominic Verity
2022
An Invitation to Applied Category Theory
Brendan Fong, David I. Spivak
2019
Exploring Mathematics
John Meier, Derek Smith
2017
A Course in Model Theory
Katrin Tent, Martin Ziegler
2012
Mathematical Puzzles
Peter Winkler
2024
Taking the "Oof!" Out of Proofs
Alexandr Draganov
2024
Intuitive Axiomatic Set Theory
José L Garciá
2024
Automatic Complexity
Bjørn Kjos-Hanssen
2024
Critical Views of Logic
Mirja Hartimo, Frode Kjosavik, Øystein Linnebo
2023
Model Theory of Operator Algebras
Isaac Goldbring
2023
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
The Baseball Mysteries
Jerry Butters, Jim Henle
2023
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
Gregory Cherlin
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Gregory Cherlin
2022
The Elements of Advanced Mathematics
Steven G. Krantz
2022
Transition to Advanced Mathematics
Danilo R. Diedrichs, Stephen Lovett
2022
Automata Theory and Formal Languages
Wladyslaw Homenda, Witold Pedrycz
2022
The Semantic Conception of Logic
2021
(Co)end Calculus
Fosco Loregian
2021
Computable Structure Theory
Antonio Montalbán
2021
Complexity of Infinite-Domain Constraint Satisfaction
Manuel Bodirsky
2021
Foundations of Constructive Probability Theory
Yuen-Kwok Chan
2021
Large Cardinals, Determinacy and Other Topics: Volume 4
2020
Algorithmic Randomness
2020
Justification Logic
Sergei Artemov, Melvin Fitting
2019
Synthetic Differential Topology
Marta Bunge, Felipe Gago, Ana María San Luis
2018
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Martin Grohe
2017
Degrees of Unsolvability
Manuel Lerman
2017
Proper and Improper Forcing
Saharon Shelah
2017
Constructibility
Keith J. Devlin
2017
Fine Structure and Iteration Trees
William J. Mitchell, John R. Steel
2017
Logic Colloquium '90
2017
Computability in Analysis and Physics
Marian B. Pour-El, J. Ian Richards
2017
Higher Recursion Theory
Gerald E. Sacks
2017
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák
2017
Admissible Sets and Structures
Jon Barwise
2017
Model-Theoretic Logics
2017
Recursion-Theoretic Hierarchies
Peter G. Hinman
2017
General Recursion Theory
Jens E. Fenstad
2017
1
2