Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les
Author(s)
Bibliographic Information
Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les
（Axiomes : Collection de logique mathématique coordonée / par J.-L. Krivine, . Logique mathématique : cours et execices ; v. 2）
Masson, c1993
- :pbk
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliograpie: p. [323]-325
Includes notations, index
