Computability and logic /

other_versions_link
Sonraí Bibleagrafaíochta
Príomhúdar: Boolos, George
Údair Eile: Jeffrey, Richard C. (joint author.)
Formáid: Printed Book
Teanga:English
Foilsithe: Cambridge [Eng.] : University Press, [1974].
Ábhair:
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.

University of Calicut

Sonraí sealbhúcháin ó University of Calicut
Gairmuimhir: 511/.3 BOO/C
Cóip Live Status Unavailable

Míreanna Comhchosúla