000 00410 a2200157 4500
001 2099
090 _a2099
100 _a20170516 frey50
101 1 _afre
102 _aFR
200 1 _aFonctions récursives.
210 _aParis
_aLouvain
_cGauthier-Villars
_cNauwelaerts
_d1961.
215 _a100 p.
_d24 cm.
225 1 _aCollection de logique mathØmatique
_v
606 _aLogique
700 1 _aGrzegorczyk
_bAndrzej.
099 _tMON