Note on an Idea of Fitch. - John R. Myhill (J. Symb. Log., 1949)

A Reduction in the Number of Primitive Ideas of Arithmetic. - John R. Myhill (J. Symb. Log., 1950)

A Complete Theory of Natural, Rational, and Real Numbers. - John R. Myhill (J. Symb. Log., 1950)

Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. - John R. Myhill (J. Symb. Log., 1951)

Towards a Consistent Set-Theory. - John R. Myhill (J. Symb. Log., 1951)

A Finitary Metalanguage for Extended Basic Logic. - John R. Myhill (J. Symb. Log., 1952)

A Derivation of Number Theory from Ancestral Theory. - John R. Myhill (J. Symb. Log., 1952)

Criteria of Constructibility for Real Numbers. - John R. Myhill (J. Symb. Log., 1953)

On the Interpretation of the Sign 'subset of'. - John R. Myhill (J. Symb. Log., 1953)

Arithmetic with Creative Definitions by Induction. - John R. Myhill (J. Symb. Log., 1953)

Solution of a Problem of Tarski. - John R. Myhill (J. Symb. Log., 1956)

Constructive Definition of Certain Analytic Sets of Numbers. - Paul Lorenzen; John R. Myhill (J. Symb. Log., 1959)

Remark on a System of Bernays. - John R. Myhill (J. Symb. Log., 1963)

Variations on a theme of Bernays. - John R. Myhill (Notre Dame J. Formal Log., 1963)

Constructive Set Theory. - John R. Myhill (J. Symb. Log., 1975)

Some Simplifications and Improvements in the Stochastic Music Program. - John R. Myhill (ICMC, 1978)

A Type-Free System Extending (ZFC). - John R. Myhill; Bob Flagg (Ann. Pure Appl. Log., 1989)