 | 1992 |
|---|
| 13 |       | G. Kreisel:
On the Idea(l) of Logical Closure.
Ann. Pure Appl. Logic 56(1-3): 19-41 (1992) |
| 1985 |
|---|
| 12 | | G. Kreisel:
Proof Theory and the Synthesis of Programs: Potential and Limitations.
European Conference on Computer Algebra (1) 1985: 136-150 |
| 1972 |
|---|
| 11 | | G. Kreisel:
Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O?
J. Symb. Log. 37(2): 311-334 (1972) |
| 1968 |
|---|
| 10 | | G. Kreisel:
A Survey of Proof Theory.
J. Symb. Log. 33(3): 321-388 (1968) |
| 1966 |
|---|
| 9 | | W. A. Howard,
G. Kreisel:
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.
J. Symb. Log. 31(3): 325-358 (1966) |
| 1965 |
|---|
| 8 | | G. Kreisel,
Gerald E. Sacks:
Metarecursive Sets.
J. Symb. Log. 30(3): 318-338 (1965) |
| 1962 |
|---|
| 7 | | G. Kreisel:
On Weak Completeness of Intuitionistic Predicate Logic.
J. Symb. Log. 27(2): 139-158 (1962) |
| 1958 |
|---|
| 6 | | G. Kreisel:
Mathematical Significance of Consistency Proofs.
J. Symb. Log. 23(2): 155-182 (1958) |
| 5 | | G. Kreisel:
Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae.
J. Symb. Log. 23(3): 317-330 (1958) |
| 4 | | G. Kreisel:
A Remark on Free Choice Sequences and the Topological Completeness Proofs.
J. Symb. Log. 23(4): 369-388 (1958) |
| 1952 |
|---|
| 3 | | G. Kreisel:
On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.
J. Symb. Log. 17(1): 43-58 (1952) |
| 2 | | Heinrich Scholz,
G. Kreisel,
Leon Henkin:
Problems.
J. Symb. Log. 17(2): 160 (1952) |
| 1951 |
|---|
| 1 | | G. Kreisel:
On the Interpretation of Non-Finitist Proofs - Part I.
J. Symb. Log. 16(4): 241-267 (1951) |
