J. L. Krivine

No bio available. Add one in Open Library.

Books by J. L. Krivine (50 max)

+ shelf+ list

Introduction to axiomatic set theory.

1971

J. L. Krivine

+ shelf+ list

Théorie axiomatique des ensembles ...

1969

J. L. Krivine

+ shelf+ list

Sous-espaces et cônes convexes dans les espaces Lp

1967

J. L. Krivine

+ shelf+ list

Elements of Mathematical Logic Model Theory

1971

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

+ shelf+ list

Lambda-Calculus, Types and Models

1993

J. L. Krivine