Potato notesC. Tice; H. G. Zuckerman; W. C. Edmundson; W. L. Floyd; G. W. Waller; A. J. Johnston; E. P. Miller; E. A. Stokdyk; G. L. Tiebout; H. C. Moore; Walter M. Peacock; Andrew Schnetzler; Senator J. Gilbert Borton; E. V. Hardenburg; J. Tucker; George H. Valentine; A. G. Tolaas; P. N. Davis; H. L. Bolley; W. K. McCullock; Walter M. Peacock; C. F. Clark · 1925

New Methods in Automatic ExtractingEdmundson, H. P. · Journal of the ACM · 1969

An Operator Approach to Matrix TheoremsH. P. Edmundson · The American Mathematical Monthly · 1949

Problems in automatic abstractingEdmundson, H. P. · Communications of the ACM · 1964

Statistical inference in mathematical and computational linguisticsH. P. Edmundson · 1977

The notion of a probabilistic cellular acceptorH. P. Edmundson; Immanuel I. Tung · 1979

Automatic Language Translation.by Anthony G. OettingerReview by: H. P. Edmundson · Mathematics of Computation · 1961

Monte Carlo Matrix Inversion and Recurrent EventsH. P. Edmundson · Mathematical Tables and Other Aids to Computation · 1953

Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937

Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949

Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953

The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990

Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947

A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959

Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980

A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957