5570 results in Programming Languages and Applied Logic
Part F - Advanced Topics in Abstract Model Theory
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 597-598
-
- Chapter
- Export citation
Gödel's Ontological Proof Revisited
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 167-172
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Chapter VI - Recursion in a Type-2 Functional
- from Part C - Generalized Recursion Theories
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 259-342
-
- Chapter
- Export citation
Combinatorial Principles from Adding Cohen Reals
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 79-103
-
- Chapter
- Export citation
Part A - The Basic Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 5-6
-
- Chapter
- Export citation
Authors' Preface
-
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Chapter XII - Definable Second-Order Quantifiers
- from Part D - Second-Order Logic
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 445-478
-
- Chapter
- Export citation
Author's Preface
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
Chapter I - Model-Theoretic Logics: Background and Aims
- from Part A - Introduction, Basic Theory and Examples
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 3-24
-
- Chapter
- Export citation
Dedication
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Chapter XIII - E-Recursively Enumerable Degrees
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 309-338
-
- Chapter
- Export citation
PART A
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 25-26
-
- Chapter
- Export citation
Subject Index
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 223-225
-
- Chapter
- Export citation
Dedication
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Index
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 81-84
-
- Chapter
- Export citation
Introduction
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 1-4
-
- Chapter
- Export citation
Bibliography
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 131-142
-
- Chapter
- Export citation
Introduction
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-14
-
- Chapter
- Export citation
Chapter IV - Models of Fragments of Arithmetic
- from PART B
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 213-264
-
- Chapter
- Export citation