Deduction meta-theorem

From Wikipedia, the free encyclopedia
Revision as of 05:23, 26 June 2006 by imported>JRSpriggs (create redirect from "deduction meta-theorem" to "deduction theorem")
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Redirect page
Jump to navigation Jump to search

Redirect to:

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Deduction_meta-theorem&oldid=3050504"