5570 results in Programming Languages and Applied Logic
1 - Good Extender Sequences
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 5-9
-
- Chapter
- Export citation
Introduction
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 1-14
-
- Chapter
- Export citation
Logic Colloquium '96
- Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Part D - Higher Types
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 165-166
-
- Chapter
- Export citation
Chapter I - Groundwork
- from Part A - Basic Notions of Definability
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 7-26
-
- Chapter
- Export citation
Decidability of the Class in the Membership Theory NWL
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 183-194
-
- Chapter
- Export citation
Part A - General Theory
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 17-18
-
- Chapter
- Export citation
A Uniform Theorem Proving Tableau Method for Modal Logic
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 173-182
-
- Chapter
- Export citation
Chapter V - Metarecursive Enumerability
- from Part B - Metarecursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 115-134
-
- Chapter
- Export citation
Uniform Interpolation and Layered Bisimulation
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 139-164
-
- Chapter
- Export citation
Chapter V - and Beyond
- from Part B - The Analytical and Projective Hierarchies
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 201-256
-
- Chapter
- Export citation
5 - Iteration Trees
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 47-57
-
- Chapter
- Export citation
Chapter 5 - Admissible Prewellorderings
- from Part C - Infinite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 109-139
-
- Chapter
- Export citation
Preliminaries
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 5-24
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Chapter XVII - NDOP: Theories Without the Dimensional Order Property
- from Part D - The Number of Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 341-364
-
- Chapter
- Export citation
Contents
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
6 - Uniqueness of Wellfounded Branches
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 58-68
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 195-200
-
- Chapter
- Export citation
Gentzen-type systems and resolution rule. Part II. Predicate logic
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 163-190
-
- Chapter
- Export citation