ID:DA01374436
Krivine, J. L. (Jean-Louis)
Krivine, J.-L.
Search authors sharing the same name
Pierre-Louis Curien ... [et al.]
Société mathématique de France 2009 Panoramas et synthèses no 27
Available at 6 libraries
René Cori, Daniel Lascar ; préface de J.-L. Krivine
Masson c1993 Axiomes : Collection de logique mathématique coordonée / par J.-L. Krivine . Logique mathématique : cours et execices ; v. 2
:pbk
Available at 2 libraries
Masson c1993 Axiomes : Collection de logique mathématique coordonée / par J.-L. Krivine . Logique mathématique : cours et execices ; v. 1
J.L. Krivine ; translated by René Cori
Ellis Horwood , Masson c1993 Ellis Horwood series in computers and their applications
Available at 13 libraries
Jean-Louis Krivine
Masson 1990 Études et recherches en informatique
Available at 5 libraries
Bernard Beauzamy, Jean-Louis Krivine, Bernard Maurey
U.E.R. de Mathematiques & L. A. 212 du C.N.R.S. [1984] Publications mathématiques de l'Université Paris VII 18
Tome 1 , Tome 2
Available at 16 libraries
U.E.R. de Mathematiques & L. A. 212 du C.N.R.S. [1983] Publications mathématiques de l'Université Paris VII 16
D. Dacunha-Castelle et J.L. Krivine
Université Paris XI, U.E.R. mathématique 1975 Publications mathématiques d'Orsay no 168 ; 75.48
par Jean-Louis Krivine
Presses universitaires de France 1972 2e éd. rev. et augm Collection SUP . Le mathématicien ; 1
G. Kreisel, J.-L. Krivine ; aus dem Französischen übersetzt von J. Jung
Springer-Verlag 1972 Hochschultext
:gw , :us
Available at 19 libraries
G. Kreisel & J.L. Krivine
North-Holland Publishing Company 1971 Studies in logic and the foundations of mathematics
Available at 41 libraries
Jean-Louis Krivine ; [translated from the French by David Miller]
Reidel c1971 Synthese library
Available at 49 libraries
G. Kreisel, J. L. Krivine
Dunod 1967 Monographies de la Sociéte Mathématique de France 3
G. Kreisel and J. L. Krivine
North Holland Pub. Co. 1967 Studies in logic and the foundations of mathematics
Available at 43 libraries
par J.-L. Krivine
Masson