Computability and logic /

Saved in:

Bibliographic Details
Main Author:	Boolos, George
Other Authors:	Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge [England] : University Press, [1974]
Subjects:	Computable functions Recursive functions Logic, Symbolic and mathematical

Bemidji State University

Holdings details from Bemidji State University
Call Number:	BC135 .B712

Holdings details from Minnesota State University, Mankato
Call Number:	BC135 .B712

Holdings details from Southwest Minnesota State University
Call Number:	BC135 .B712

Holdings details from St. Cloud State University
Call Number:	BC135 .B712

Holdings details from University of Minnesota
Call Number:	QA248.5 .B66