5570 results in Programming Languages and Applied Logic
Index
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 128-130
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 201-206
-
- Chapter
- Export citation
Chapter VIII - Strict Predicates and Konig Principles
- from Part C - Towards a General Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 311-364
-
- Chapter
- Export citation
New foundations for mathematical theories
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 122-144
-
- Chapter
- Export citation
2 - The Games and Their Analysis
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 51-78
-
- Chapter
- Export citation
Chapter XV - Topological Model Theory
- from Part E - Logics of Topology and Analysis
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 557-578
-
- Chapter
- Export citation
Chapter VI - Orthogonality
- from Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 138-155
-
- Chapter
- Export citation
CHAPTER 8 - Generalizations
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 119-124
-
- Chapter
- Export citation
There May Be No Nowhere Dense Ultrafilter
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 305-324
-
- Chapter
- Export citation
5 - Closure Properties
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 8-11
-
- Chapter
- Export citation
Preface to the Series Perspectives in Mathematical Logic
-
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Chapter 5 - Applications to Particular Sentential Logics
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 105-130
-
- Chapter
- Export citation
The Higher Infinite in Proof Theory
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 275-304
-
- Chapter
- Export citation
Author's Preface
-
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-xii
-
- Chapter
- Export citation
Aspects of Incompleteness
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
9 - A general iterability theorem
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 89-108
-
- Chapter
- Export citation
Chapter XIII - Decomposition Theorems and Weight
- from Part C - Local Dimension Theory
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 262-280
-
- Chapter
- Export citation
Chapter VII - Decidability and Quantifier-Elimination
- from Part B - Finitary Languages with Additional Quantifiers
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 235-268
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 409-454
-
- Chapter
- Export citation