ID:DA01374436
Krivine, J. L. (Jean-Louis)
Krivine, J.-L.
同姓同名の著者を検索
Pierre-Louis Curien ... [et al.]
Société mathématique de France 2009 Panoramas et synthèses no 27
所蔵館6館
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
所蔵館2館
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
所蔵館13館
Jean-Louis Krivine
Masson 1990 Études et recherches en informatique
所蔵館5館
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
所蔵館17館
U.E.R. de Mathematiques & L. A. 212 du C.N.R.S. [1983] Publications mathématiques de l'Université Paris VII 16
所蔵館14館
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
所蔵館19館
G. Kreisel & J.L. Krivine
North-Holland Publishing Company 1971 Studies in logic and the foundations of mathematics
所蔵館41館
Jean-Louis Krivine ; [translated from the French by David Miller]
Reidel c1971 Synthese library
所蔵館50館
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
所蔵館44館
par J.-L. Krivine
Masson