Fisher, Alec

Formal number theory and computability : a workbook / by Alec Fisher - Oxford : Clarendon Press, 1982 - 200p. : 24 cm. - Oxford logic guides .

0198531788


Logic, Symbolic and mathematical