Mathematik-SymbolMathematik

Logik in der Mathematik

ErkundenBücherZugehörige Themen
1 - 60 von 303 Büchern werden angezeigt
How to Read and Do Proofs_cover
How to Read and Do ProofsDaniel Solow
2013
The Art and Craft of Problem Solving_cover
The Art and Craft of Problem SolvingPaul Zeitz
2016
An Introduction to Critical Thinking and Creativity_cover
An Introduction to Critical Thinking and CreativityJoe Y. F. Lau
2011
Formal Logic_cover
Formal LogicPaul A. Gregory
2017
The Foundations of Mathematics_cover
The Foundations of MathematicsThomas Q. Sibley
2015
The Story of Proof_cover
The Story of ProofJohn Stillwell
2022
How to Solve It_cover
How to Solve ItG. Polya
2014
A TeXas Style Introduction to Proof_cover
A TeXas Style Introduction to ProofRon Taylor, Patrick X. Rault
2018
Foundations and Fundamental Concepts of Mathematics_cover
Foundations and Fundamental Concepts of MathematicsHoward Eves
2012
Basic Discrete Mathematics_cover
Basic Discrete MathematicsRichard Kohar
2016
Mathematical Logic for Computer Science_cover
Mathematical Logic for Computer SciencePaola Spoletini, Dino Mandrioli
2020
Set Theory_cover
Set TheoryDaniel W. Cunningham
2016
Logic For Dummies_cover
Logic For DummiesMark Zegarelli
2007
Godel's Proof_cover
Godel's ProofErnest Nagel, James R. Newman
2001
Proof Analysis_cover
Proof AnalysisSara Negri, Jan von Plato
2011
Introducción a la lógica matemática_cover
Introducción a la lógica matemáticaTinoco del Valle, Jesús, Hernández Sastoque, Eric, Escorcia Caballero, Edgardo
2023
An Introduction to Mathematical Proofs_cover
An Introduction to Mathematical ProofsNicholas A. Loehr
2019
Introduction to Logic_cover
Introduction to LogicPatrick Suppes
2012
Logic for Kids_cover
Logic for KidsArnold Cusmariu
2023
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicMicha?? Walicki
2016
Algebraizable Logics_cover
Algebraizable LogicsW. J. Blok, Don Pigozzi
2022
Flatland_cover
FlatlandEdwin A. Abbott, Charles Twain
2022
Alan Turing's Systems of Logic_cover
Alan Turing's Systems of LogicAndrew W. Appel
2021
Mathe kompakt für Dummies_cover
Mathe kompakt für DummiesMark Zegarelli
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
An Invitation to Applied Category Theory_cover
An Invitation to Applied Category TheoryBrendan Fong, David I. Spivak
2019
Category Theory in Context_cover
Category Theory in ContextEmily Riehl
2017
Basic Category Theory_cover
Basic Category TheoryTom Leinster
2014
The Arrow Impossibility Theorem_cover
The Arrow Impossibility TheoremEric Maskin, Amartya Sen, Kenneth Arrow, Partha Dasgupta, Prasanta Pattanaik, Joseph E. Stiglitz
2014
Paradoxes of the Infinite_cover
Paradoxes of the InfiniteBernard Bolzano
2014
Proof Theory_cover
Proof TheoryGaisi Takeuti
2013
A Profile of Mathematical Logic_cover
A Profile of Mathematical LogicHoward DeLong
2012
Classical Mathematical Logic_cover
Classical Mathematical LogicRichard L. Epstein
2011
Logic of Mathematics_cover
Logic of MathematicsZofia Adamowicz, Pawel Zbierski
2011
Conceptual Mathematics_cover
Conceptual MathematicsF. William Lawvere, Stephen H. Schanuel
2009
Mathematics and the Divine_cover
Mathematics and the Divine
2004
Numbers and Proofs_cover
Numbers and ProofsReg Allenby
1997
Mathematical Puzzles_cover
Mathematical PuzzlesPeter Winkler
2024
Lo scarabeo d'oro_cover
Lo scarabeo d'oroEdgar Allan Poe
2024
Harmonic Analysis and Convexity_cover
Harmonic Analysis and ConvexityAlexander Koldobsky, Alexander Volberg
2023
Mathematical Logic_cover
Mathematical LogicDaniel Cunningham
2023
The Notion of mathematical proof: Key rules and considerations_cover
The Notion of mathematical proof: Key rules and considerations
2023
Modern Mathematical Logic_cover
Modern Mathematical LogicJoseph Mileti
2022
Entropy and Diversity_cover
Entropy and DiversityTom Leinster
2021
Neue Grundlagen der Logik, Arithmetik und Mengenlehre_cover
Neue Grundlagen der Logik, Arithmetik und MengenlehreJulius König
2021
Simply Turing_cover
Simply TuringMichael Olinick
2021
Games for Your Mind_cover
Games for Your MindJason Rosenhouse
2020
Proofs 101_cover
Proofs 101Joseph Kirtland
2020
Classical and Nonclassical Logics_cover
Classical and Nonclassical LogicsEric Schechter
2020
An Introduction to Formal Logic: Second Edition_cover
An Introduction to Formal Logic: Second EditionRichard L Epstein
2020
I dadi giocano a Dio?_cover
I dadi giocano a Dio?Ian Stewart
2020
Complexity and Randomness in Group Theory_cover
Complexity and Randomness in Group TheoryFrédérique Bassino, Ilya Kapovich, Markus Lohrey, Alexei Miasnikov, Cyril Nicaud, Andrey Nikolaev, Igor Rivin, Vladimir Shpilrain, Alexander Ushakov, Pascal Weil
2020
Justification Logic_cover
Justification LogicSergei Artemov, Melvin Fitting
2019
Proof Complexity_cover
Proof ComplexityJan Krají?ek
2019
Propositional Logics 3rd edition_cover
Propositional Logics 3rd editionRichard L Epstein
2018
Computability_cover
ComputabilityRichard L Epstein, Walter A Carnielli
2018
Proof and Computation_cover
Proof and Computation
2018
Control automático aplicado_cover
Control automático aplicadoChistrian Quintero, José Oñate, Jamer Jimenez
2018
Fundamentals of Set and Number Theory_cover
Fundamentals of Set and Number TheoryValeriy K. Zakharov, Timofey V. Rodionov
2018
Fundamentals of Functions and Measure Theory_cover
Fundamentals of Functions and Measure TheoryValeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev
2018