Mathematics

Logic in Mathematics

Showing 61 - 120 out of 336 books
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
The Mathematics of the Gods and the Algorithms of Men_cover
The Mathematics of the Gods and the Algorithms of MenPaolo Zellini
2020
The Mathematics of the Gods and the Algorithms of Men
The Mathematics of the Gods and the Algorithms of Men
Paolo Zellini
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
The Development of Mathematical Logic_cover
The Development of Mathematical LogicP. H. Nidditch
2019
The Development of Mathematical Logic
The Development of Mathematical Logic
P. H. Nidditch
2019
Logic in Practice_cover
Logic in PracticeL. Susan Stebbing
2019
Logic in Practice
Logic in Practice
L. Susan Stebbing
2019
Computability_cover
ComputabilityRichard L Epstein, Walter A Carnielli
2018
Computability
Computability
Richard L Epstein, Walter A Carnielli
2018
Proof and Computation_cover
Proof and Computation
2018
Proof and Computation
Proof and Computation
2018
Fundamentals of Functions and Measure Theory_cover
Fundamentals of Functions and Measure TheoryValeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev
2018
Fundamentals of Functions and Measure Theory
Fundamentals of Functions and Measure Theory
Valeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev
2018
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory_cover
Descriptive Complexity, Canonisation, and Definable Graph Structure TheoryMartin Grohe
2017
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Martin Grohe
2017
Descriptive Set Theory and Forcing_cover
Descriptive Set Theory and ForcingArnold W. Miller
2017
Descriptive Set Theory and Forcing
Descriptive Set Theory and Forcing
Arnold W. Miller
2017
Simply Gödel_cover
Simply GödelRichard Tieszen
2017
Simply Gödel
Simply Gödel
Richard Tieszen
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
Circularity_cover
CircularityRon Aharoni
2016
Circularity
Circularity
Ron Aharoni
2016
The Two-Valued Iterative Systems of Mathematical Logic_cover
The Two-Valued Iterative Systems of Mathematical LogicEmil L. Post
2016
The Two-Valued Iterative Systems of Mathematical Logic
The Two-Valued Iterative Systems of Mathematical Logic
Emil L. Post
2016
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 for Computer Science_cover
Logic for Computer ScienceJean H. Gallier
2015
Logic for Computer Science
Logic for Computer Science
Jean H. Gallier
2015
Introducing Infinity_cover
Introducing InfinityBrian Clegg, Oliver Pugh
2014
Introducing Infinity
Introducing Infinity
Brian Clegg, Oliver Pugh
2014
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
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
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
Philosophy and Foundations of Mathematics_cover
Philosophy and Foundations of Mathematics
2014
Philosophy and Foundations of Mathematics
Philosophy and Foundations of Mathematics
2014
Enlightening Symbols_cover
Enlightening SymbolsJoseph Mazur
2014
Enlightening Symbols
Enlightening Symbols
Joseph Mazur
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
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
On Formally Undecidable Propositions of Principia Mathematica and Related Systems_cover
On Formally Undecidable Propositions of Principia Mathematica and Related SystemsKurt Gödel
2012
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
2012
Foundations and Fundamental Concepts of Mathematics_cover
Foundations and Fundamental Concepts of MathematicsHoward Eves
2012
Foundations and Fundamental Concepts of Mathematics
Foundations and Fundamental Concepts of Mathematics
Howard Eves
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
Set Theory, Arithmetic, and Foundations of Mathematics_cover
Set Theory, Arithmetic, and Foundations of Mathematics
2011
Set Theory, Arithmetic, and Foundations of Mathematics
Set Theory, Arithmetic, and Foundations of Mathematics
2011
Logic in Elementary Mathematics_cover
Logic in Elementary MathematicsRobert M. Exner, Myron F. Rosskopf
2011
Logic in Elementary Mathematics
Logic in Elementary Mathematics
Robert M. Exner, Myron F. Rosskopf
2011
Deep Beauty_cover
Deep Beauty
2011
Deep Beauty
Deep Beauty
2011
Infinity_cover
Infinity
2011
Infinity
Infinity
2011
The Logic of Quantum Mechanics: Volume 15_cover
The Logic of Quantum Mechanics: Volume 15Enrico G. Beltrametti, Gianni Cassinelli
2010
The Logic of Quantum Mechanics: Volume 15
The Logic of Quantum Mechanics: Volume 15
Enrico G. Beltrametti, Gianni Cassinelli
2010
Electrical Load Forecasting_cover
Electrical Load ForecastingS.A. Soliman, Ahmad Mohammad Al-Kandari
2010
Electrical Load Forecasting
Electrical Load Forecasting
S.A. Soliman, Ahmad Mohammad Al-Kandari
2010
Conceptual Mathematics_cover
Conceptual MathematicsF. William Lawvere, Stephen H. Schanuel
2009
Conceptual Mathematics
Conceptual Mathematics
F. William Lawvere, Stephen H. Schanuel
2009
Logic from Russell to Church_cover
Logic from Russell to Church
2009
Logic from Russell to Church
Logic from Russell to Church
2009
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques_cover
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set TechniquesGuang-quan Zhang, Da Ruan, Jie Lu
2007
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
Guang-quan Zhang, Da Ruan, Jie Lu
2007
Lectures on the Curry-Howard Isomorphism_cover
Lectures on the Curry-Howard IsomorphismMorten Heine Sørensen, Pawel Urzyczyn
2006
Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
Morten Heine Sørensen, Pawel Urzyczyn
2006
A Practical Logic of Cognitive Systems_cover
A Practical Logic of Cognitive SystemsDov M. Gabbay, John Woods
2005
A Practical Logic of Cognitive Systems
A Practical Logic of Cognitive Systems
Dov M. Gabbay, John Woods
2005
Mathematics and the Divine_cover
Mathematics and the Divine
2004
Mathematics and the Divine
Mathematics and the Divine
2004
The Rise of Modern Logic: from Leibniz to Frege_cover
The Rise of Modern Logic: from Leibniz to Frege
2004
The Rise of Modern Logic: from Leibniz to Frege
The Rise of Modern Logic: from Leibniz to Frege
2004
Greek, Indian and Arabic Logic_cover
Greek, Indian and Arabic Logic
2004
Greek, Indian and Arabic Logic
Greek, Indian and Arabic Logic
2004
Categorical Foundations_cover
Categorical Foundations
2003
Categorical Foundations
Categorical Foundations
2003
Jewels Of Stringology: Text Algorithms_cover
Jewels Of Stringology: Text AlgorithmsMaxime Crochemore, Wojciech Rytter
2002
Jewels Of Stringology: Text Algorithms
Jewels Of Stringology: Text Algorithms
Maxime Crochemore, Wojciech Rytter
2002
Quantum Theoretic Machines_cover
Quantum Theoretic MachinesA. Stern
2000
Quantum Theoretic Machines
Quantum Theoretic Machines
A. Stern
2000
Mathematical Logic For Computer Science_cover
Mathematical Logic For Computer ScienceZhongwan Lu
1998
Mathematical Logic For Computer Science
Mathematical Logic For Computer Science
Zhongwan Lu
1998
Introducing Logic_cover
Introducing LogicBill Mayblin, Dan Cryan, Sharron Shatil
2014
Introducing Logic
Introducing Logic
Bill Mayblin, Dan Cryan, Sharron Shatil
2014
Mathematical Logic_cover
Mathematical LogicStephen Cole Kleene
2013
Mathematical Logic
Mathematical Logic
Stephen Cole Kleene
2013
The Language of Mathematics_cover
The Language of MathematicsRaúl Rojas
2025
The Language of Mathematics
The Language of Mathematics
Raúl Rojas
2025
The Story of Proof_cover
The Story of ProofJohn Stillwell
2022
The Story of Proof
The Story of Proof
John Stillwell
2022
Modern Mathematical Logic_cover
Modern Mathematical LogicJoseph Mileti
2022
Modern Mathematical Logic
Modern Mathematical Logic
Joseph Mileti
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
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
Philosophy of Mathematics_cover
Philosophy of MathematicsThomas Bedürftig, Roman Murawski
2018
Philosophy of Mathematics
Philosophy of Mathematics
Thomas Bedürftig, Roman Murawski
2018