Revision as of 22:08, 15 August 2009 edit Rcog (talk \| contribs) 173 edits ←Redirected page to LCF theorem prover		Revision as of 22:09, 15 August 2009 edit undo Rcog (talk \| contribs) 173 edits ←Redirected page to LCF (theorem prover) Next edit →
Line 1: #REDIRECT [[LCF (theorem prover)]]

Logic of Computable Functions: Difference between revisions