J. L. Krivine

Identifiers

Open LibraryOL2051357A

Top Subjects

Axiomatic set theory (1)
Axiomatic set theory. (1)
Mathematics (1)
Calculus (1)
Mathematical theory of computation (1)
Lambda calculus (1)
Logic (1)

Books by J. L. Krivine

Total count: 5

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

Centre national de la recherche scientifique, 1967.1967-01-01
Théorie axiomatique des ensembles ...

Presses universitaires de France1969-01-01
Introduction to axiomatic set theory.

Reidel1971-01-01
Elements of Mathematical LogicModel Theory

Elsevier Science & Technology Books1971-01-01
Lambda-Calculus, Types and Models

Ellis Horwood Ltd1993-08-01