John R. Myhill

Publication Activity (10 Years)

Years Active: 1949-1989
Publications (10 Years): 0

Publications

John R. Myhill, Bob Flagg
A Type-Free System Extending (ZFC). Ann. Pure Appl. Log. 43 (1) (1989)
John R. Myhill
Some Simplifications and Improvements in the Stochastic Music Program. ICMC (1978)
John R. Myhill
Constructive Set Theory. J. Symb. Log. 40 (3) (1975)
John R. Myhill
Remark on a System of Bernays. J. Symb. Log. 28 (1) (1963)
John R. Myhill
Variations on a theme of Bernays. Notre Dame J. Formal Log. 4 (4) (1963)
Paul Lorenzen, John R. Myhill
Constructive Definition of Certain Analytic Sets of Numbers. J. Symb. Log. 24 (1) (1959)
John R. Myhill
Solution of a Problem of Tarski. J. Symb. Log. 21 (1) (1956)
John R. Myhill
Criteria of Constructibility for Real Numbers. J. Symb. Log. 18 (1) (1953)
John R. Myhill
Arithmetic with Creative Definitions by Induction. J. Symb. Log. 18 (2) (1953)
John R. Myhill
On the Interpretation of the Sign 'subset of'. J. Symb. Log. 18 (1) (1953)
John R. Myhill
A Derivation of Number Theory from Ancestral Theory. J. Symb. Log. 17 (3) (1952)
John R. Myhill
A Finitary Metalanguage for Extended Basic Logic. J. Symb. Log. 17 (3) (1952)
John R. Myhill
Towards a Consistent Set-Theory. J. Symb. Log. 16 (2) (1951)
John R. Myhill
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. J. Symb. Log. 16 (1) (1951)
John R. Myhill
A Complete Theory of Natural, Rational, and Real Numbers. J. Symb. Log. 15 (3) (1950)
John R. Myhill
A Reduction in the Number of Primitive Ideas of Arithmetic. J. Symb. Log. 15 (2) (1950)
John R. Myhill
Note on an Idea of Fitch. J. Symb. Log. 14 (3) (1949)