5570 results in Programming Languages and Applied Logic
The Logical Foundations of Discourse Interpretation
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-44
-
- Chapter
- Export citation
Prerequisites from Logic and Analysis
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 6-8
-
- Chapter
- Export citation
Index of Symbols
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 459-460
-
- Chapter
- Export citation
Chapter IV - Measure and Forcing
- from Part A - Hyperarithmetic Sets
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 88-112
-
- Chapter
- Export citation
Suggestions for Further Reading
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 79-80
-
- Chapter
- Export citation
Computability in Analysis and Physics
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
Contents
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp xv-xvi
-
- Chapter
- Export citation
IV. - Some Model Theory of Separably Closed Fields
-
-
- Book:
- Model Theory of Fields
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 135-152
-
- Chapter
- Export citation
Two-Dimensional Temporal Logic
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 219-236
-
- Chapter
- Export citation
Chapter XII - Selection and k-Sections
- from Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 283-308
-
- Chapter
- Export citation
7 - Codes
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 16-20
-
- Chapter
- Export citation
Decidability questions for theories of modules
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 266-280
-
- Chapter
- Export citation
Recursion-Theoretic Hierarchies
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017
Addendum: Open Problems
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 192-194
-
- Chapter
- Export citation
How to characterize provably total functions
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 205-213
-
- Chapter
- Export citation
Temporal expressive completeness in the presence of gaps
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 89-121
-
- Chapter
- Export citation
Part C - Infinite Theories
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 107-108
-
- Chapter
- Export citation
Contents
-
- Book:
- Bounded Variable Logics and Counting
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-x
-
- Chapter
- Export citation
Introduction
-
- Book:
- The Core Model Iterability Problem
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-4
-
- Chapter
- Export citation
Part D - E-Recursion
-
- Book:
- Higher Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 231-232
-
- Chapter
- Export citation