Axiomes : Collection de logique mathématique coordonée
par J.-L. Krivine
Masson
Collection de logique mathématique
Raymond M.Smullyan ; traduit de l'anglais par M.Margenstern
Masson c1993 Axiomes : Collection de logique mathématique coordonée / par J.-L. Krivine
: pbk.
所蔵館1館
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