5570 results in Programming Languages and Applied Logic
Towards Recursive Model Theory
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 325-338
-
- Chapter
- Export citation
Replacement Collection
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 307-322
-
- Chapter
- Export citation
Foreword
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Completeness has to be restricted: Gödel's interpretation of the parameter t
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 214-223
-
- Chapter
- Export citation
Introduction
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-4
-
- Chapter
- Export citation
Extensions of models of PV
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 104-114
-
- Chapter
- Export citation
Index of Terms
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 455-458
-
- Chapter
- Export citation
Metamathematics of First-Order Arithmetic
-
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017
7 - Selected Topics
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 323-344
-
- Chapter
- Export citation
Chapter 3 - Applications to Protoalgebraic and Algebraizable Logics
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 59-74
-
- Chapter
- Export citation
Preface to the Series Perspectives in Mathematical Logic
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Lambek Calculus and Formal Languages
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 269-272
-
- Chapter
- Export citation
4 - Macros
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 5-8
-
- Chapter
- Export citation
Gödel's program for new axioms: Why, where, how and what?
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 3-22
-
- Chapter
- Export citation
CHAPTER 4 - Axiomatizations
-
- Book:
- Aspects of Incompleteness
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 52-61
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
PART B
-
- Book:
- Metamathematics of First-Order Arithmetic
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 145-146
-
- Chapter
- Export citation
4 - Fine Structure of Uncountably Categorical Theories
-
- Book:
- Essential Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 125-212
-
- Chapter
- Export citation
20 - The Projective Hierarchy
-
- Book:
- Recursion Theory
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 74-78
-
- Chapter
- Export citation
Global Notational Conventions
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 467-468
-
- Chapter
- Export citation