Normal view
MARC view
Computable functions (Topical Term)
Machine generated authority record.
Work cat.: (): Boolos, George 180065, Computability and logic /, 1974
