Skip to content
Vinony

Computability and logic

by George S. Boolos, John P. Burgess, Richard C. Jeffrey

Cover of Computability and logic
Popularity 4

No description available.

Recursive functionsSymbolic and mathematical LogicComputable functionsLogic, symbolic and mathematicalQa9.59 .b66 2007511.3/52