Formal number theory and computability a workbook /

Fisher, Alec

Formal number theory and computability a workbook / [Texte imprimé] : Alec Fisher - Oxford: Clarendon Press, 1982 - XIII-190 p. ; 23 cm - Oxford logic guides (Clarendon Press, Oxford) ; 7 . - Oxford logic guides (Clarendon Press, Oxford) ; 7 .

Index

Bibliogr. p. 187-188

0-19-853188-5

512