G. Kreisel

发表

G. Kreisel, 1949, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

Hao Wang, G. Kreisel, J. Shoenfield, 1960 .

G. Kreisel, 1974, Synthese.

G. Kreisel, J. Krivine, 1971 .

G. Kreisel, G. Kreisel, 1969 .

Hao Wang, G. Kreisel, Hao Wang, 1955 .

G. Kreisel, 2018 .

Georg Kreisel, G. Kreisel, 1958 .

Christos H. Papadimitriou, Dana S. Scott, Matthias Baaz, 2011 .

G. Sacks, G. Kreisel, 1965, Journal of Symbolic Logic.

Georg Kreisel, G. Kreisel, 1951, Journal of Symbolic Logic.

J. R. Shoenfield, G. Kreisel, J. Shoenfield, 1966 .

G. Kreisel, G. Kreisel, 1953 .

G. Kreisel, 1952, Journal of Symbolic Logic.

G. Kreisel, 1953, The British Journal for the Philosophy of Science.

G. Kreisel, 1960, The British Journal for the Philosophy of Science.

Georg Kreisel, G. Kreisel, Georg Kreisel, 1962 .

Georg Kreisel, G. Kreisel, 1985, Synthese.

G. Kreisel, G. Kreisel, 1973, Biographical Memoirs of Fellows of the Royal Society.

Georg Kreisel, G. Kreisel, 1962, Journal of Symbolic Logic.

Georg Kreisel, G. Kreisel, 1958, Journal of Symbolic Logic.

Solomon Feferman, G. Kreisel, S. Feferman, 1966 .

Georg Kreisel, William A. Howard, G. Kreisel, 1966, Journal of Symbolic Logic.

Georg Kreisel, G. Kreisel, 1968 .

Georg Kreisel, G. Kreisel, 1992, Ann. Pure Appl. Log..

G. Kreisel, G. Kreisel, 1985, European Conference on Computer Algebra.

Georg Kreisel, G. Kreisel, 1971 .

Georg Kreisel, G. Kreisel, 1980, Biographical Memoirs of Fellows of the Royal Society.

G. Kreisel, G. Kreisel, 1953, The British Journal for the Philosophy of Science.

Georg Kreisel, G. Kreisel, 1968, Journal of Symbolic Logic.

G. Kreisel, G. Kreisel, 1955 .

Georg Kreisel, G. Kreisel, 1968 .

G. Kreisel, G. Kreisel, 1981 .

Georg Kreisel, A. MacIntyre, G. Kreisel, 1982 .

Georg Kreisel, G. Kreisel, 1977 .

Georg Kreisel, G. Kreisel, 2004, Synthese.

Georg Kreisel, G. Kreisel, 1952 .

Georg Kreisel, G. Kreisel, 1958, Journal of Symbolic Logic.

Georg Kreisel, G. Kreisel, 1987, Notre Dame J. Formal Log..