|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Analyzing realizability by Troelstra's methods |
Moschovakis, Joan Rand |
2002 |
114 | 1-3 |
p. 203-225 23 p. |
article |
|
| 2 | Author index |
2002 |
114 | 1-3 |
p. 273- 1 p. |
article |
||
| 3 | Extending the system T 0 of explicit mathematics: the limit and Mahlo axioms |
Jäger, Gerhard |
2002 |
114 | 1-3 |
p. 79-101 23 p. |
article |
|
| 4 | Intrinsic reasoning about functional programs I: first order theories |
Leivant, Daniel |
2002 |
114 | 1-3 |
p. 117-153 37 p. |
article |
|
| 5 | Logical problems of functional interpretations |
Diller, Justus |
2002 |
114 | 1-3 |
p. 27-42 16 p. |
article |
|
| 6 | On uniform weak König's lemma |
Kohlenbach, Ulrich |
2002 |
114 | 1-3 |
p. 103-116 14 p. |
article |
|
| 7 | Preface |
van Oosten, Jaap |
2002 |
114 | 1-3 |
p. 1-2 2 p. |
article |
|
| 8 | Proof theory in the abstract |
Hyland, J.M.E. |
2002 |
114 | 1-3 |
p. 43-78 36 p. |
article |
|
| 9 | Refined program extraction from classical proofs |
Berger, Ulrich |
2002 |
114 | 1-3 |
p. 3-25 23 p. |
article |
|
| 10 | Substitutions of Σ 1 0-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic |
Visser, Albert |
2002 |
114 | 1-3 |
p. 227-271 45 p. |
article |
|
| 11 | Type theories, toposes and constructive set theory: predicative aspects of AST |
Moerdijk, Ieke |
2002 |
114 | 1-3 |
p. 155-201 47 p. |
article |
11 results found