Basics of Second-Order Predicate Logic
Article in The Logical Foresight-Journal for Logic and Science (December 2023)
Types, Tableaus, and Gödel’s God
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Classical Logic—Syntax
-
Altmetric BadgeChapter 2 Classical Logic—Semantics
-
Altmetric BadgeChapter 3 Classical Logic—Basic Tableaus
-
Altmetric BadgeChapter 4 Soundness And Completeness
-
Altmetric BadgeChapter 5 Equality
-
Altmetric BadgeChapter 6 Extensionality
-
Altmetric BadgeChapter 7 Modal Logic Syntax And Semantics
-
Altmetric BadgeChapter 8 Modal Tableaus
-
Altmetric BadgeChapter 9 Miscellaneous Matters
-
Altmetric BadgeChapter 10 Gödel’s Argument, Background
-
Altmetric BadgeChapter 11 Gödel’s Argument, Formally
Altmetric Badge
Citations
- dimensions_citation
- 83 Dimensions