Mathematics

Logic in Mathematics

Showing 61 - 120 out of 342 books
Harmonic Analysis and Convexity_cover
Harmonic Analysis and ConvexityAlexander Koldobsky, Alexander Volberg
2023
Harmonic Analysis and Convexity
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
Mathematical Logic_cover
Mathematical LogicDaniel Cunningham
2023
Mathematical Logic
Mathematical Logic
Daniel Cunningham
2023
Category Theory_cover
Category TheoryZoran Majkic
2023
Category Theory
Category Theory
Zoran Majkic
2023
Advances in Applied Mathematical Analysis and Applications_cover
Advances in Applied Mathematical Analysis and Applications
2022
Advances in Applied Mathematical Analysis and Applications
Advances in Applied Mathematical Analysis and Applications
2022
Algebraizable Logics_cover
Algebraizable LogicsW. J. Blok, Don Pigozzi
2022
Algebraizable Logics
Algebraizable Logics
W. J. Blok, Don Pigozzi
2022
Critical Thinking_cover
Critical ThinkingDamiano Canale, Aldo Frigerio, Giovanni Tuzet, Roberto Ciuni
2022
Critical Thinking
Critical Thinking
Damiano Canale, Aldo Frigerio, Giovanni Tuzet, Roberto Ciuni
2022
Theoretical Computer Science for the Working Category Theorist_cover
Theoretical Computer Science for the Working Category TheoristNoson S. Yanofsky
2022
Theoretical Computer Science for the Working Category Theorist
Theoretical Computer Science for the Working Category Theorist
Noson S. Yanofsky
2022
Elements of ?-Category Theory_cover
Elements of ?-Category TheoryEmily Riehl, Dominic Verity
2022
Elements of ?-Category Theory
Elements of ?-Category Theory
Emily Riehl, Dominic Verity
2022
Automata Theory and Formal Languages_cover
Automata Theory and Formal LanguagesWladyslaw Homenda, Witold Pedrycz
2022
Automata Theory and Formal Languages
Automata Theory and Formal Languages
Wladyslaw Homenda, Witold Pedrycz
2022
Flatland_cover
FlatlandEdwin A. Abbott, Charles Twain
2022
Flatland
Flatland
Edwin A. Abbott, Charles Twain
2022
Paradoxes and Inconsistent Mathematics_cover
Paradoxes and Inconsistent MathematicsZach Weber
2021
Paradoxes and Inconsistent Mathematics
Paradoxes and Inconsistent Mathematics
Zach Weber
2021
What Makes Us Smart_cover
What Makes Us SmartSamuel J. Gershman
2021
What Makes Us Smart
What Makes Us Smart
Samuel J. Gershman
2021
Alan Turing's Systems of Logic_cover
Alan Turing's Systems of LogicAndrew W. Appel
2021
Alan Turing's Systems of Logic
Alan Turing's Systems of Logic
Andrew W. Appel
2021
The Learning and Teaching of Number_cover
The Learning and Teaching of NumberRina Zazkis, John Mason, Igor' Kontorovich
2021
The Learning and Teaching of Number
The Learning and Teaching of Number
Rina Zazkis, John Mason, Igor' Kontorovich
2021
Mathematical Puzzles_cover
Mathematical PuzzlesPeter Winkler
2020
Mathematical Puzzles
Mathematical Puzzles
Peter Winkler
2020
Games for Your Mind_cover
Games for Your MindJason Rosenhouse
2020
Games for Your Mind
Games for Your Mind
Jason Rosenhouse
2020
Proofs 101_cover
Proofs 101Joseph Kirtland
2020
Proofs 101
Proofs 101
Joseph Kirtland
2020
Classical and Nonclassical Logics_cover
Classical and Nonclassical LogicsEric Schechter
2020
Classical and Nonclassical Logics
Classical and Nonclassical Logics
Eric Schechter
2020
Architecture of Mathematics_cover
Architecture of MathematicsSimon Serovajsky
2020
Architecture of Mathematics
Architecture of Mathematics
Simon Serovajsky
2020
An Introduction to Formal Logic: Second Edition_cover
An Introduction to Formal Logic: Second EditionRichard L Epstein
2020
An Introduction to Formal Logic: Second Edition
An Introduction to Formal Logic: Second Edition
Richard L Epstein
2020
Lógica Formal_cover
Lógica FormalPaul Lorenzen
2020
Lógica Formal
Lógica Formal
Paul Lorenzen
2020
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural_cover
El razonamiento lógico en el lenguaje simbólico y en el lenguaje naturalKemel, George
2020
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural
Kemel, George
2020
Logic in Practice_cover
Logic in PracticeL. Susan Stebbing
2019
Logic in Practice
Logic in Practice
L. Susan Stebbing
2019
An Invitation to Applied Category Theory_cover
An Invitation to Applied Category TheoryBrendan Fong, David I. Spivak
2019
An Invitation to Applied Category Theory
An Invitation to Applied Category Theory
Brendan Fong, David I. Spivak
2019
Propositional Logics 3rd edition_cover
Propositional Logics 3rd editionRichard L Epstein
2018
Propositional Logics 3rd edition
Propositional Logics 3rd edition
Richard L Epstein
2018
Philosophy of Mathematics_cover
Philosophy of MathematicsThomas Bedürftig, Roman Murawski
2018
Philosophy of Mathematics
Philosophy of Mathematics
Thomas Bedürftig, Roman Murawski
2018
Computability_cover
ComputabilityRichard L Epstein, Walter A Carnielli
2018
Computability
Computability
Richard L Epstein, Walter A Carnielli
2018
Logic in Wonderland_cover
Logic in WonderlandNitsa Movshovitz-Hadar, Atara Shriki
2018
Logic in Wonderland
Logic in Wonderland
Nitsa Movshovitz-Hadar, Atara Shriki
2018
Proof and Computation_cover
Proof and Computation
2018
Proof and Computation
Proof and Computation
2018
Maths in Bite-sized Chunks_cover
Maths in Bite-sized ChunksChris Waring
2018
Maths in Bite-sized Chunks
Maths in Bite-sized Chunks
Chris Waring
2018
Fundamentals of Set and Number Theory_cover
Fundamentals of Set and Number TheoryValeriy K. Zakharov, Timofey V. Rodionov
2018
Fundamentals of Set and Number Theory
Fundamentals of Set and Number Theory
Valeriy K. Zakharov, Timofey V. Rodionov
2018
Exploring Mathematics_cover
Exploring MathematicsJohn Meier, Derek Smith
2017
Exploring Mathematics
Exploring Mathematics
John Meier, Derek Smith
2017
Model-Theoretic Logics_cover
Model-Theoretic Logics
2017
Model-Theoretic Logics
Model-Theoretic Logics
2017
Gödel '96_cover
Gödel '96
2017
Gödel '96
Gödel '96
2017
That's Maths_cover
That's MathsPeter Lynch
2016
That's Maths
That's Maths
Peter Lynch
2016
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity_cover
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
2016
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
2016
Basic Discrete Mathematics_cover
Basic Discrete MathematicsRichard Kohar
2016
Basic Discrete Mathematics
Basic Discrete Mathematics
Richard Kohar
2016
Circularity_cover
CircularityRon Aharoni
2016
Circularity
Circularity
Ron Aharoni
2016
A Sequential Introduction to Real Analysis_cover
A Sequential Introduction to Real AnalysisJ M Speight
2015
A Sequential Introduction to Real Analysis
A Sequential Introduction to Real Analysis
J M Speight
2015
The Vienna Circle_cover
The Vienna CircleVictor Kraft
2015
The Vienna Circle
The Vienna Circle
Victor Kraft
2015
Fuzzy Neural Networks for Real Time Control Applications_cover
Fuzzy Neural Networks for Real Time Control ApplicationsErdal Kayacan, Mojtaba Ahmadieh Khanesar
2015
Fuzzy Neural Networks for Real Time Control Applications
Fuzzy Neural Networks for Real Time Control Applications
Erdal Kayacan, Mojtaba Ahmadieh Khanesar
2015
Logic, Computation, Hierarchies_cover
Logic, Computation, HierarchiesVasco Brattka, Hannes Diener, Dieter Spreen
2014
Logic, Computation, Hierarchies
Logic, Computation, Hierarchies
Vasco Brattka, Hannes Diener, Dieter Spreen
2014
Matrix Logic_cover
Matrix LogicA. Stern
2014
Matrix Logic
Matrix Logic
A. Stern
2014
Elementary Induction on Abstract Structures_cover
Elementary Induction on Abstract StructuresYiannis N. Moschovakis
2014
Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
Yiannis N. Moschovakis
2014
Introduction to Proof in Abstract Mathematics_cover
Introduction to Proof in Abstract MathematicsAndrew Wohlgemuth
2014
Introduction to Proof in Abstract Mathematics
Introduction to Proof in Abstract Mathematics
Andrew Wohlgemuth
2014
Introducing Logic_cover
Introducing LogicBill Mayblin, Dan Cryan, Sharron Shatil
2014
Introducing Logic
Introducing Logic
Bill Mayblin, Dan Cryan, Sharron Shatil
2014
Essentials of Elementary School Mathematics_cover
Essentials of Elementary School MathematicsMax D. Larsen, James L. Fejfar
2014
Essentials of Elementary School Mathematics
Essentials of Elementary School Mathematics
Max D. Larsen, James L. Fejfar
2014
Math Bytes_cover
Math BytesTim P. Chartier
2014
Math Bytes
Math Bytes
Tim P. Chartier
2014
Enlightening Symbols_cover
Enlightening SymbolsJoseph Mazur
2014
Enlightening Symbols
Enlightening Symbols
Joseph Mazur
2014
On the Study and Difficulties of Mathematics_cover
On the Study and Difficulties of MathematicsAugustus De Morgan
2014
On the Study and Difficulties of Mathematics
On the Study and Difficulties of Mathematics
Augustus De Morgan
2014
Agent_Zero_cover
Agent_ZeroJoshua M. Epstein
2014
Agent_Zero
Agent_Zero
Joshua M. Epstein
2014
Proof Theory_cover
Proof TheoryGaisi Takeuti
2013
Proof Theory
Proof Theory
Gaisi Takeuti
2013
The Gödelian Puzzle Book_cover
The Gödelian Puzzle BookRaymond M. Smullyan
2013
The Gödelian Puzzle Book
The Gödelian Puzzle Book
Raymond M. Smullyan
2013
Introduction to Logic_cover
Introduction to LogicAlfred Tarski
2013
Introduction to Logic
Introduction to Logic
Alfred Tarski
2013
Mathematical Logic_cover
Mathematical LogicStephen Cole Kleene
2013
Mathematical Logic
Mathematical Logic
Stephen Cole Kleene
2013
Symbolic Logic and the Game of Logic_cover
Symbolic Logic and the Game of LogicLewis Carroll
2013
Symbolic Logic and the Game of Logic
Symbolic Logic and the Game of Logic
Lewis Carroll
2013
A Profile of Mathematical Logic_cover
A Profile of Mathematical LogicHoward DeLong
2012
A Profile of Mathematical Logic
A Profile of Mathematical Logic
Howard DeLong
2012
What Is Mathematical Logic?_cover
What Is Mathematical Logic?J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
What Is Mathematical Logic?
What Is Mathematical Logic?
J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
Introduction to Symbolic Logic and Its Applications_cover
Introduction to Symbolic Logic and Its ApplicationsRudolf Carnap
2012
Introduction to Symbolic Logic and Its Applications
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap
2012
Theorems, Corollaries, Lemmas, and Methods of Proof_cover
Theorems, Corollaries, Lemmas, and Methods of ProofRichard J. Rossi
2011
Theorems, Corollaries, Lemmas, and Methods of Proof
Theorems, Corollaries, Lemmas, and Methods of Proof
Richard J. Rossi
2011