G. Kreisel

No bio available. Add one in Open Library.

Books by G. Kreisel (50 max)

+ shelf+ list

Elements de Logique Mathematique. Theorie des Modeles

1967

G. Kreisel

+ shelf+ list

Éléments de logique mathématique: theorie des modeles

1967

G. Kreisel

+ shelf+ list

`elements de logique mathematique

1967

G. Kreisel

+ shelf+ list

Elements of Mathematical Logic Model Theory

1971

G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, P. Suppes