 | 1989 |
|---|
| 15 |       | John R. Myhill,
Bob Flagg:
A Type-Free System Extending (ZFC).
Ann. Pure Appl. Logic 43(1): 79-97 (1989) |
| 1975 |
|---|
| 14 | | John R. Myhill:
Constructive Set Theory.
J. Symb. Log. 40(3): 347-382 (1975) |
| 1963 |
|---|
| 13 | | John R. Myhill:
Remark on a System of Bernays.
J. Symb. Log. 28(1): 75-76 (1963) |
| 1959 |
|---|
| 12 | | Paul Lorenzen,
John R. Myhill:
Constructive Definition of Certain Analytic Sets of Numbers.
J. Symb. Log. 24(1): 37-49 (1959) |
| 1956 |
|---|
| 11 | | John R. Myhill:
Solution of a Problem of Tarski.
J. Symb. Log. 21(1): 49-51 (1956) |
| 1953 |
|---|
| 10 | | John R. Myhill:
On the Interpretation of the Sign 'subset of'.
J. Symb. Log. 18(1): 60-62 (1953) |
| 9 | | John R. Myhill:
Criteria of Constructibility for Real Numbers.
J. Symb. Log. 18(1): 7-10 (1953) |
| 8 | | John R. Myhill:
Arithmetic with Creative Definitions by Induction.
J. Symb. Log. 18(2): 115-118 (1953) |
| 1952 |
|---|
| 7 | | John R. Myhill:
A Finitary Metalanguage for Extended Basic Logic.
J. Symb. Log. 17(3): 164-178 (1952) |
| 6 | | John R. Myhill:
A Derivation of Number Theory from Ancestral Theory.
J. Symb. Log. 17(3): 192-197 (1952) |
| 1951 |
|---|
| 5 | | John R. Myhill:
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.
J. Symb. Log. 16(1): 35-42 (1951) |
| 4 | | John R. Myhill:
Towards a Consistent Set-Theory.
J. Symb. Log. 16(2): 130-136 (1951) |
| 1950 |
|---|
| 3 | | John R. Myhill:
A Reduction in the Number of Primitive Ideas of Arithmetic.
J. Symb. Log. 15(2): 130 (1950) |
| 2 | | John R. Myhill:
A Complete Theory of Natural, Rational, and Real Numbers.
J. Symb. Log. 15(3): 185-196 (1950) |
| 1949 |
|---|
| 1 | | John R. Myhill:
Note on an Idea of Fitch.
J. Symb. Log. 14(3): 175-176 (1949) |
