| |
Archive for Mathematical Logic, Vol. 20, No. 1. (1 March 1980), pp. 27-40.
|
| |
Journal of Mathematical Sciences, Vol. 14, No. 5. (1 November 1980), pp. 1487-1492.
|
| |
Proceedings of the American Mathematical Society, Vol. 17, No. 1. (1966), pp. 146-147.
|
| |
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 33, No. 3. (1987), pp. 245-253.
|
| |
Z. Math. Logik Grundlag. Math., Vol. 33, No. 2. (1987), pp. 147-157.
|
| |
Pacific J. Math., Vol. 57, No. 2. (1975), pp. 379-392.
|
| |
The Journal of Philosophy, Vol. 78, No. 9. (1981), pp. 524-546.
|
| |
Mathematical Notes, Vol. 40, No. 5. (1 November 1986), pp. 821-827.
|
| |
In Arithmetic, proof theory, and computational complexity (Prague, 1991), Vol. 23 (1993), pp. 320-363.
|
| |
In Intuitionism and Proof Theory (Proc. Conf., Buffalo, N.Y., 1968) (1970), pp. 459-473.
|
| |
J. Symbolic Logic, Vol. 37 (1972), pp. 466-482.
|
| |
Ann. Pure Appl. Logic, Vol. 28, No. 1. (1985), pp. 33-71.
|
| |
Proc. Amer. Math. Soc., Vol. 91, No. 3. (1984), pp. 436-443.
|
| |
Studia Logica, Vol. 50, No. 1. (1991), pp. 81-105.
|
| |
Theoria, Vol. 63, No. 3. (1997), pp. 182-209.
|
| |
In Advances in modal logic, Vol.\ 1 (Berlin, 1996), Vol. 87 (1998), pp. 307-359.
|
| |
Z. Math. Logik Grundlagen Math., Vol. 14 (1968), pp. 97-142.
|
| |
Rend. Sem. Mat. Univ. Politec. Torino, Vol. 42, No. 2. (1984), pp. 87-106 (1985).
|
| |
In Logic Colloquium '78 (Mons, 1978), Vol. 97 (1979), pp. 335-350.
|
| |
J. Symbolic Logic, Vol. 44, No. 1. (1979), pp. 33-35.
|
| |
Z. Math. Logik Grundlagen Math., Vol. 14 (1968), pp. 67-80.
|
| |
Fund. Math., Vol. 49 (1960/1961), pp. 35-92.
|
| |
J. Symbolic Logic, Vol. 27 (1962), pp. 259-316.
|
| |
J. Symbolic Logic, Vol. 27 (1962), pp. 383-390.
|
| |
In The universal Turing machine: a half-century survey (1988), pp. 113-147.
|
| |
Theoria, Vol. 63, No. 3. (1997), pp. 168-181.
|
Search
