Proof and computations

Saved in:

Bibliographic Details
Main Author:	Schwichtenberg, Helmut, 1942-
Corporate Authors:	ProQuest (Firm), Association for Symbolic Logic
Other Authors:	Wainer, S. S.
Format:	Electronic eBook
Language:	English
Published:	Cambridge : Cambridge University Press, 2012.
Series:	Perspectives in logic.
Subjects:	Computable functions. Proof theory. Electronic books.
Online Access:	Click to View
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Click to View