Lambda-calculus, types and models /

by Krivine, J. L. (Jean Louis)
New York : Ellis Horwood, 1993

Lambda-calculus, types and models /

by Krivine, J. L. (Jean Louis)
Paris : New York : Masson ; Ellis Horwood, 1993

Introduction to axiomatic set theory. /

by Krivine, J. L. (Jean Louis)
Dordrecht : Reidel, 1971

Théorie axiomatique des ensembles ...

by Krivine, J. L. (Jean Louis)
Paris, Presses universitaires de France, 1969

Elements of mathematical logic (Model theory)

by Kreisel, Georg, Krivine, J. L. (Jean Louis)
Amsterdam, North Holland Pub. Co., 1967

Elements of mathematical logic. (Model theory)

by Kreisel, Georg, Krivine, J. L. (Jean Louis)
Amsterdam, North Holland Pub. Co., 1967

Éléments de logique mathématique, théorie des modèles /

by Kreisel, Georg, Krivine, J. L. (Jean Louis)
Paris : Dunod, 1967

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie /

by Kreisel, Georg
Berlin : Springer, 1972

Elements of mathematical logic. (Model theory)

by Kreisel, Georg
Amsterdam, North-Holland Pub. Co., 1971
[2d rev. printing]

Elements of mathematical logic : (Model theory) /

by Kreisel, Georg
Amsterdam : North-Holland Pub. Co., 1971

Éléments de logique mathématique,

by Kreisel, Georg
Paris, Dunod, 1967

Éléments de logique mathématique, théorie des modèles,

by Kreisel, Georg
Paris, Dunod, 1967

Séminaire de géométrie des espaces de Banach, Paris VII (1982) /

Paris : U.E.R. de mathematiques, 1983

Séminaire de géométrie des espaces de Banach, Paris VII (1982) /

Paris : U.E.R. de mathématiques & L.A. 212 du C.N.R.S., 1983

Séminaire de géométrie des espaces de Banach, Paris VII (1983) /

Paris : U.E.R. de mathematiques, 1984