Why Study Logic?
Gödel's Lost Letter and P=NP,
Before and after it is mechanized… Peter Andrews is a Professor of Mathematics, Emeritus at Carnegie Mellon University (CMU…
An Introduction to Mathematical Logic and Type Theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Propositional Calculus
-
Altmetric BadgeChapter 3 First-Order Logic
-
Altmetric BadgeChapter 4 Provability and Refutability
-
Altmetric BadgeChapter 5 Further Topics in First-Order Logic
-
Altmetric BadgeChapter 6 Type Theory
-
Altmetric BadgeChapter 7 Formalized Number Theory
-
Altmetric BadgeChapter 8 Incompleteness and Undecidability
Altmetric Badge
About this Attention Score
-
In the top 25% of all research outputs scored by Altmetric
-
High Attention Score compared to outputs of the same age (91st percentile)
Citations
- dimensions_citation
- 179 Dimensions
Readers on
- mendeley
- 13 Mendeley