S. C. van Westrehnen
S. C. van Westrehnen.
Statistical studies of theoremhood in classical propositional and first order predicate calculus.
Journal of the ACM
, 19(2):347-365, April 1972.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database