Home
Random
Nearby
Log in
Settings
Donate Now
If Wikipedia is useful to you, please give today.
About Wikipedia
Disclaimers
Search
Talk
:
Logic for Computable Functions
Article
Talk
Language
Watch
Edit
This is an
old revision
of this page, as edited by
Tea2min
(
talk
|
contribs
)
at
09:04, 11 October 2007
(moved
Talk:LCF theorem prover
to
Talk:LCF (theorem prover)
: Naming conventions.)
. The present address (URL) is a
permanent link
to this revision, which may differ significantly from the
current revision
.
Revision as of 09:04, 11 October 2007 by
Tea2min
(
talk
|
contribs
)
(moved
Talk:LCF theorem prover
to
Talk:LCF (theorem prover)
: Naming conventions.)
(
diff
)
← Previous revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
