Mathematics

Logic in Mathematics

Showing 61 - 120 out of 345 books
The Vienna Circle_cover
The Vienna CircleVictor Kraft
2023
The Vienna Circle
The Vienna Circle
Victor Kraft
2023
Discrete Mathematics with Coding_cover
Discrete Mathematics with CodingHugo D Junghenn
2023
Discrete Mathematics with Coding
Discrete Mathematics with Coding
Hugo D Junghenn
2023
Model Theory of Operator Algebras_cover
Model Theory of Operator AlgebrasIsaac Goldbring
2023
Model Theory of Operator Algebras
Model Theory of Operator Algebras
Isaac Goldbring
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
Mathematical Foundations of Fuzzy Sets_cover
Mathematical Foundations of Fuzzy SetsHsien-Chung Wu
2023
Mathematical Foundations of Fuzzy Sets
Mathematical Foundations of Fuzzy Sets
Hsien-Chung Wu
2023
Use of abstraction and logic in mathematics_cover
Use of abstraction and logic in mathematics
2023
Use of abstraction and logic in mathematics
Use of abstraction and logic in mathematics
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
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
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
(Co)end Calculus_cover
(Co)end CalculusFosco Loregian
2021
(Co)end Calculus
(Co)end Calculus
Fosco Loregian
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
Secret History_cover
Secret HistoryCraig Bauer
2021
Secret History
Secret History
Craig Bauer
2021
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
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
Handbook of Fuzzy Computation_cover
Handbook of Fuzzy ComputationE Ruspini, P Bonissone, W Pedrycz
2020
Handbook of Fuzzy Computation
Handbook of Fuzzy Computation
E Ruspini, P Bonissone, W Pedrycz
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
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
Reasoning and Formal Logic_cover
Reasoning and Formal LogicRichard L Epstein
2018
Reasoning and Formal Logic
Reasoning and Formal Logic
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
Mathematics Almost Everywhere_cover
Mathematics Almost Everywhere
2018
Mathematics Almost Everywhere
Mathematics Almost Everywhere
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
Reverse Mathematics_cover
Reverse MathematicsJohn Stillwell
2018
Reverse Mathematics
Reverse Mathematics
John Stillwell
2018
Gödel '96_cover
Gödel '96
2017
Gödel '96
Gödel '96
2017
A Bridge to Higher Mathematics_cover
A Bridge to Higher MathematicsValentin Deaconu, Donald C. Pfaff
2016
A Bridge to Higher Mathematics
A Bridge to Higher Mathematics
Valentin Deaconu, Donald C. Pfaff
2016
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
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicAlonzo Church
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Alonzo Church
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
A First Course in Mathematical Logic and Set Theory_cover
A First Course in Mathematical Logic and Set TheoryMichael L. O'Leary
2015
A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
Michael L. O'Leary
2015
Logic for Computer Science_cover
Logic for Computer ScienceJean H. Gallier
2015
Logic for Computer Science
Logic for Computer Science
Jean H. Gallier
2015
The Arrow Impossibility Theorem_cover
The Arrow Impossibility TheoremEric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
2014
The Arrow Impossibility Theorem
The Arrow Impossibility Theorem
Eric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
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
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
Lambda Calculus with Types_cover
Lambda Calculus with TypesHenk Barendregt, Wil Dekkers, Richard Statman
2013
Lambda Calculus with Types
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
2013
Mathematical Logic_cover
Mathematical LogicStephen Cole Kleene
2013
Mathematical Logic
Mathematical Logic
Stephen Cole Kleene
2013