5570 results in Programming Languages and Applied Logic
Preface
-
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Dedication
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
9 - Church's Thesis
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 26-28
-
- Chapter
- Export citation
Bounded Variable Logics and Counting
- A Study in Finite Models
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Appendix. Nonstandard Compactness Arguments and the Admissible Cover
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 365-379
-
- Chapter
- Export citation
10 - Word Problems
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 28-32
-
- Chapter
- Export citation
Part A - Introduction, Basic Theory and Examples
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 1-2
-
- Chapter
- Export citation
Chapter 3 - Finite Theories on One Type
- from Part B - Finite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 65-89
-
- Chapter
- Export citation
Part C - Towards a General Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 255-256
-
- Chapter
- Export citation
References
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 380-385
-
- Chapter
- Export citation
Chapter I - Admissible Set Theory
- from Part A - The Basic Theory
-
- Book:
- Admissible Sets and Structures
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 7-41
-
- Chapter
- Export citation
Preface to the Series
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
CHAPTER 5 - Partial conservativity
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 62-74
-
- Chapter
- Export citation
Chapter V - Bounded Arithmetic
- from PART C
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 267-396
-
- Chapter
- Export citation
Part B - Dependence and Prime Models
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 185-186
-
- Chapter
- Export citation
1 - The Basics
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 1-10
-
- Chapter
- Export citation
Index
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 130-131
-
- Chapter
- Export citation
Chapter XII - Regular Types
- from Part C - Local Dimension Theory
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 241-261
-
- Chapter
- Export citation
Special sessions
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp xi-xiv
-
- Chapter
- Export citation