Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401016457> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2401016457 abstract "Introduction Chapter One: First-Order Predicate Logic 1. The Syntax of PL 2. The Semantics of PL 3. Logical Concepts in PL 4. PL Proof Theory 5. Exercises Chapter Two: Resources of the Metatheory 1. Linguistic and Logical Resources 2. Arithmetical Resources 3. Set-Theoretic Resources 4. An Economical Version of PL 5. Exercises Chapter Three: The Soundness and Completeness Theorems 1. The Soundness Theorem 2. The Completeness Theorem 3. The Compactness Theorem 4. PL Interpretations and PL Sets 5. The Lowenheim-Skolem Theorem 6. Exercises Chapter Four: Computability 1. Effective Procedures and Computable Functions 2. Turing Computability 3. The Halting Problem 4. Partial Recursive Functions 5. Exercises Chapter Five: The Incompleteness Theorems 1. Peano Arithmetic 2. Representability in Peano Arithmetic 3. The Arithmetization of the Metatheory 4. Diagonalization and the First Incompleteness Theorem 5. Consequences of Diagonalization and Incompleteness 6. The Incompleteness of Second-Order Predicate Logic 7. Godel's Second Incompleteness Theorem 8. Exercises" @default.
- W2401016457 created "2016-06-24" @default.
- W2401016457 creator A5063631658 @default.
- W2401016457 date "2014-10-24" @default.
- W2401016457 modified "2023-09-27" @default.
- W2401016457 title "An Introduction to Metalogic" @default.
- W2401016457 hasPublicationYear "2014" @default.
- W2401016457 type Work @default.
- W2401016457 sameAs 2401016457 @default.
- W2401016457 citedByCount "0" @default.
- W2401016457 crossrefType "book" @default.
- W2401016457 hasAuthorship W2401016457A5063631658 @default.
- W2401016457 hasConcept C100481476 @default.
- W2401016457 hasConcept C102993220 @default.
- W2401016457 hasConcept C111142201 @default.
- W2401016457 hasConcept C118615104 @default.
- W2401016457 hasConcept C134306372 @default.
- W2401016457 hasConcept C136119220 @default.
- W2401016457 hasConcept C144791301 @default.
- W2401016457 hasConcept C152062344 @default.
- W2401016457 hasConcept C169896238 @default.
- W2401016457 hasConcept C171636804 @default.
- W2401016457 hasConcept C17231256 @default.
- W2401016457 hasConcept C180937797 @default.
- W2401016457 hasConcept C194886279 @default.
- W2401016457 hasConcept C199360897 @default.
- W2401016457 hasConcept C200116569 @default.
- W2401016457 hasConcept C202444582 @default.
- W2401016457 hasConcept C2781302003 @default.
- W2401016457 hasConcept C33923547 @default.
- W2401016457 hasConcept C39920170 @default.
- W2401016457 hasConcept C41008148 @default.
- W2401016457 hasConcept C45962547 @default.
- W2401016457 hasConcept C54271186 @default.
- W2401016457 hasConcept C65148605 @default.
- W2401016457 hasConcept C80444323 @default.
- W2401016457 hasConcept C97489613 @default.
- W2401016457 hasConceptScore W2401016457C100481476 @default.
- W2401016457 hasConceptScore W2401016457C102993220 @default.
- W2401016457 hasConceptScore W2401016457C111142201 @default.
- W2401016457 hasConceptScore W2401016457C118615104 @default.
- W2401016457 hasConceptScore W2401016457C134306372 @default.
- W2401016457 hasConceptScore W2401016457C136119220 @default.
- W2401016457 hasConceptScore W2401016457C144791301 @default.
- W2401016457 hasConceptScore W2401016457C152062344 @default.
- W2401016457 hasConceptScore W2401016457C169896238 @default.
- W2401016457 hasConceptScore W2401016457C171636804 @default.
- W2401016457 hasConceptScore W2401016457C17231256 @default.
- W2401016457 hasConceptScore W2401016457C180937797 @default.
- W2401016457 hasConceptScore W2401016457C194886279 @default.
- W2401016457 hasConceptScore W2401016457C199360897 @default.
- W2401016457 hasConceptScore W2401016457C200116569 @default.
- W2401016457 hasConceptScore W2401016457C202444582 @default.
- W2401016457 hasConceptScore W2401016457C2781302003 @default.
- W2401016457 hasConceptScore W2401016457C33923547 @default.
- W2401016457 hasConceptScore W2401016457C39920170 @default.
- W2401016457 hasConceptScore W2401016457C41008148 @default.
- W2401016457 hasConceptScore W2401016457C45962547 @default.
- W2401016457 hasConceptScore W2401016457C54271186 @default.
- W2401016457 hasConceptScore W2401016457C65148605 @default.
- W2401016457 hasConceptScore W2401016457C80444323 @default.
- W2401016457 hasConceptScore W2401016457C97489613 @default.
- W2401016457 hasLocation W24010164571 @default.
- W2401016457 hasOpenAccess W2401016457 @default.
- W2401016457 hasPrimaryLocation W24010164571 @default.
- W2401016457 hasRelatedWork W144022046 @default.
- W2401016457 hasRelatedWork W1527862941 @default.
- W2401016457 hasRelatedWork W1554618854 @default.
- W2401016457 hasRelatedWork W1593576920 @default.
- W2401016457 hasRelatedWork W1770605224 @default.
- W2401016457 hasRelatedWork W1988755390 @default.
- W2401016457 hasRelatedWork W2015224901 @default.
- W2401016457 hasRelatedWork W2119636934 @default.
- W2401016457 hasRelatedWork W2277133989 @default.
- W2401016457 hasRelatedWork W2898730450 @default.
- W2401016457 hasRelatedWork W2898905228 @default.
- W2401016457 hasRelatedWork W2969786701 @default.
- W2401016457 hasRelatedWork W3099960354 @default.
- W2401016457 hasRelatedWork W3122736276 @default.
- W2401016457 hasRelatedWork W31250260 @default.
- W2401016457 hasRelatedWork W3177102357 @default.
- W2401016457 hasRelatedWork W3196549399 @default.
- W2401016457 hasRelatedWork W635853265 @default.
- W2401016457 hasRelatedWork W71625682 @default.
- W2401016457 hasRelatedWork W983012624 @default.
- W2401016457 isParatext "false" @default.
- W2401016457 isRetracted "false" @default.
- W2401016457 magId "2401016457" @default.
- W2401016457 workType "book" @default.