5570 results in Programming Languages and Applied Logic
Part A - Elementary Theory
-
- Book:
- Constructibility
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp 1-2
-
- Chapter
- Export citation
Preface to the Series Perspectives in Mathematical Logic
-
- Book:
- Constructibility
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp v-vi
-
- Chapter
- Export citation
6 - Quantum Processes
-
- Book:
- Picturing Quantum Processes
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp 251-344
-
- Chapter
- Export citation
Glossary of Notation
-
- Book:
- Constructibility
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp 419-421
-
- Chapter
- Export citation
Author's Preface
-
- Book:
- Constructibility
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp vii-viii
-
- Chapter
- Export citation
Contents
-
- Book:
- Constructibility
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp ix-xii
-
- Chapter
- Export citation
Constructibility
-
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017
Frontmatter
-
- Book:
- Picturing Quantum Processes
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp i-iv
-
- Chapter
- Export citation
Remarks and Historical Notes
-
- Book:
- Constructibility
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp 409-414
-
- Chapter
- Export citation
Picturing Quantum Processes
- A First Course in Quantum Theory and Diagrammatic Reasoning
-
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017
14 - Quantomatic
-
- Book:
- Picturing Quantum Processes
- Published online:
- 30 March 2017
- Print publication:
- 16 March 2017, pp 790-803
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- A General Algebraic Semantics for Sentential Logics
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp i-iv
-
- Chapter
- Export citation
Plenary sessions
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp ix-x
-
- Chapter
- Export citation
4 - Ultrapowers
-
- Book:
- Fine Structure and Iteration Trees
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 34-46
-
- Chapter
- Export citation
Chapter II - The Abstract Notion of Independence
- from Part A - Independence
-
- Book:
- Fundamentals of Stability Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 35-52
-
- Chapter
- Export citation
Preface
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp v-vi
-
- Chapter
- Export citation
Chapter VII - Recursion in a Type-3 Functional
- from Part C - Generalized Recursion Theories
-
- Book:
- Recursion-Theoretic Hierarchies
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 343-370
-
- Chapter
- Export citation
Hao Wang as Philosopher
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 64-80
-
- Chapter
- Export citation
A General Algebraic Semantics for Sentential Logics
-
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017
Chapter 0 - On the Choice of Correct Notions for the General Theory
- from Pons Asinorum
-
- Book:
- General Recursion Theory
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 3-16
-
- Chapter
- Export citation