cam a22 4500 215766296 CHVBK 20201020085328.0 940728s1994 xxk|||||||||| 00 |eng d 0-521-38026-X (hardback) 0-521-38923-2 (paperback) (RERO)1888742 RERO geulph s1ma rero s2in rero Boolos George (IDREF)032339674 cre Computability and logic George S. Boolos, Richard C. Jeffrey 3rd ed., [repr.] Cambridge [etc.] Cambridge University Press 1994 X, 304 p. ill. 23 cm txt rdacontent n rdamedia nc rdacarrier Fonctions calculables (RERO)A021020174 rero Logique mathématique (RERO)A021013613 rero Fonctions récursives (RERO)A021018323 rero calculabilité (RERO)A010059232 rerovoc Jeffrey Richard Carl (IDREF)03262400X BK020000 XK020000 XK020000 RERO RE61043 RE61043 RE610430001 P 4 BOO Com BFLA 77475 RERO 100 1- Boolos George (IDREF)032339674 cre RERO 700 1- Jeffrey Richard Carl (IDREF)03262400X SWISSBIB 156871351