5570 results in Programming Languages and Applied Logic
Incompleteness theorems and Si2 versus Si2
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 247-261
-
- Chapter
- Export citation
Chapter VIII - Priority Arguments
- from Part C - α-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 175-203
-
- Chapter
- Export citation
1 - Computability
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-2
-
- Chapter
- Export citation
Special Notations
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 469-472
-
- Chapter
- Export citation
Chapter II - Ordinary Recursion Theory
- from Part A - Basic Notions of Definability
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 27-68
-
- Chapter
- Export citation
Definability and global degree theory
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 25-45
-
- Chapter
- Export citation
6 - Definitions of Recursive Functions
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 11-16
-
- Chapter
- Export citation
Model Theory of Modules
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 66-72
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Recursion Theory
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Free monoid completeness of the Lambek calculus allowing empty premises
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 171-210
-
- Chapter
- Export citation
15 - Degrees
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 53-59
-
- Chapter
- Export citation
Dedication
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Chapter II - Some Admissible Sets
- from Part A - The Basic Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 42-77
-
- Chapter
- Export citation
On “star” schemata of Kossak and Paris
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 101-114
-
- Chapter
- Export citation
Logic Colloquium '90
- ASL Summer Meeting in Helsinki
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Kurt Gödel and the Consistency of R##
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 247-256
-
- Chapter
- Export citation
Chapter 6 - Degree Structure
- from Part C - Infinite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 140-164
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Beyond Gödel's Theorem: Turing Nonrigidity Revisited
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 44-50
-
- Chapter
- Export citation