Franklin

Computability and logic [by] George Boolos [and] Richard Jeffrey.

Author/Creator:
Boolos, George.
Publication:
Cambridge [Eng.] University Press [1974]
Format/Description:
Book
x, 262 p. illus. 24 cm.
Status/Location:
Loading...

Get It

Details

Subjects:
Recursive functions.
Logic, Symbolic and mathematical.
Contributor:
Jeffrey, Richard C. joint author.
ISBN:
052120402X
OCLC:
959952