FrançaisFormalized recursive functionals and formalized realizabiblity
Ouvrage
logique # fonctionnelle récursive # réalisabilité # théorème de récursion
Publisher City : Providence
Publisher country : États-Unis
Language : English
Collation : 26 cm#rel. ; Bibliogr.
Series : Memoirs of the american mathematical society
Nb in series : 0089
Location : Collection 1er étage
Notes : 8 volumes reliés ensembles L23824 à L23831
Memoirs of the AMS n° 88 à 95
Book type : Monographie
Availability : Disponible
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00023825 | [available] |
