4369
Fisher, Alec.
Formal number theory and computability: a workbook
Oxford
Clarendon Press
1982
xiii, 190p.: ill
Oxford logic guides; 7
Bibliography: p.]187[-188
Includes index
by Alec Fisher
، Logic, Symbolic and mathematical
BC
135
.
F5
AU
TI
SE
CL
