5570 results in Programming Languages and Applied Logic
5 - Control structures
-
- Book:
- Transitions and Trees
- Published online:
- 05 August 2012
- Print publication:
- 29 April 2010, pp 65-78
-
- Chapter
- Export citation
11 - Concurrent object-oriented languages
-
- Book:
- Transitions and Trees
- Published online:
- 05 August 2012
- Print publication:
- 29 April 2010, pp 161-170
-
- Chapter
- Export citation
Preface
-
- Book:
- Transitions and Trees
- Published online:
- 05 August 2012
- Print publication:
- 29 April 2010, pp ix-xii
-
- Chapter
- Export citation
About the illustrations
-
- Book:
- Transitions and Trees
- Published online:
- 05 August 2012
- Print publication:
- 29 April 2010, pp xiii-xiii
-
- Chapter
- Export citation
10 - Blocks and procedures (2)
-
- Book:
- Transitions and Trees
- Published online:
- 05 August 2012
- Print publication:
- 29 April 2010, pp 154-160
-
- Chapter
- Export citation
6 - Blocks and procedures (1)
-
- Book:
- Transitions and Trees
- Published online:
- 05 August 2012
- Print publication:
- 29 April 2010, pp 79-93
-
- Chapter
- Export citation
12 - Functional programming languages
-
- Book:
- Transitions and Trees
- Published online:
- 05 August 2012
- Print publication:
- 29 April 2010, pp 171-182
-
- Chapter
- Export citation
The Gödel hierarchy and reverse mathematics
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 109-127
-
- Chapter
- Export citation
Generalisations of Gödel's universe of constructible sets
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 181-188
-
- Chapter
- Export citation
Gödel and set theory
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 145-180
-
- Chapter
- Export citation
On Gödel's way in: The influence of Rudolf Carnap
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 242-251
-
- Chapter
- Export citation
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 74-87
-
- Chapter
- Export citation
PREFACE
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp xiii-xvi
-
- Chapter
- Export citation
Gödel on intuition and on Hilbert's finitism
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 88-108
-
- Chapter
- Export citation
Only two letters: The correspondence between Herbrand and Gödel
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 61-73
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp i-vi
-
- Chapter
- Export citation
A Framework for Priority Arguments
-
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010
Platonism and mathematical intuition in Kurt Gödel's thought
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 326-355
-
- Chapter
- Export citation
CHAPTER 8 - PATHS AND LINKS
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 113-146
-
- Chapter
- Export citation
CHAPTER 6 - Δ3 CONSTRUCTIONS
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 93-102
-
- Chapter
- Export citation