Wikipedia

Logic of Computable Functions

This is an old revision of this page, as edited by Rcog (talk | contribs) at 22:09, 15 August 2009 (←Redirected page to LCF (theorem prover)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Redirect page

Redirect to:

Retrieved from "https://en.wikipedia.org/w/index.php?title=Logic_of_Computable_Functions&oldid=308197454"