5570 results in Programming Languages and Applied Logic
PROOF THEORY
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 43-44
-
- Chapter
- Export citation
Contents
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp vii-xii
-
- Chapter
- Export citation
SET THEORY
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 143-144
-
- Chapter
- Export citation
CHAPTER 4 - Δ2 CONSTRUCTIONS
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 57-72
-
- Chapter
- Export citation
REFERENCES
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 175-176
-
- Chapter
- Export citation
Gödel and the metamathematical tradition
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 45-60
-
- Chapter
- Export citation
Contents
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp vii-viii
-
- Chapter
- Export citation
What did Gödel believe and when did he believe it?
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 229-241
-
- Chapter
- Export citation
On the philosophical development of Kurt Gödel
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 275-325
-
- Chapter
- Export citation
CHAPTER 1 - INTRODUCTION
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 1-4
-
- Chapter
- Export citation
Future tasks for Gödel scholars
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 21-42
-
- Chapter
- Export citation
CHAPTER 11 - INFINITE SYSTEMS OF TREES
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 173-174
-
- Chapter
- Export citation
GENERAL
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 1-2
-
- Chapter
- Export citation
On the outside looking in: A caution about conservativeness
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 128-142
-
- Chapter
- Export citation
CHAPTER 10 - HIGHER-LEVEL CONSTRUCTIONS
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 163-172
-
- Chapter
- Export citation
The Gödel editorial project: A synopsis
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 3-20
-
- Chapter
- Export citation
On the question of absolute undecidability
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 189-226
-
- Chapter
- Export citation
CHAPTER 9 - BACKTRACKING
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 147-162
-
- Chapter
- Export citation
CHAPTER 3 - Σ1 CONSTRUCTIONS
-
- Book:
- A Framework for Priority Arguments
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 41-56
-
- Chapter
- Export citation
Gödel's conceptual realism
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 356-373
-
- Chapter
- Export citation