The SCEAS System
| |||||||

## Search the dblp DataBase
John R. Myhill:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- John R. Myhill, Bob Flagg
**A Type-Free System Extending (ZFC).**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1989, v:43, n:1, pp:79-97 [Journal] - Paul Lorenzen, John R. Myhill
**Constructive Definition of Certain Analytic Sets of Numbers.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1959, v:24, n:1, pp:37-49 [Journal] - John R. Myhill
**Note on an Idea of Fitch.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1949, v:14, n:3, pp:175-176 [Journal] - John R. Myhill
**A Reduction in the Number of Primitive Ideas of Arithmetic.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1950, v:15, n:2, pp:130- [Journal] - John R. Myhill
**A Complete Theory of Natural, Rational, and Real Numbers.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1950, v:15, n:3, pp:185-196 [Journal] - John R. Myhill
**Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1951, v:16, n:1, pp:35-42 [Journal] - John R. Myhill
**Towards a Consistent Set-Theory.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1951, v:16, n:2, pp:130-136 [Journal] - John R. Myhill
**A Finitary Metalanguage for Extended Basic Logic.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1952, v:17, n:3, pp:164-178 [Journal] - John R. Myhill
**A Derivation of Number Theory from Ancestral Theory.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1952, v:17, n:3, pp:192-197 [Journal] - John R. Myhill
**Criteria of Constructibility for Real Numbers.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1953, v:18, n:1, pp:7-10 [Journal] - John R. Myhill
**On the Interpretation of the Sign 'subset of'.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1953, v:18, n:1, pp:60-62 [Journal] - John R. Myhill
**Arithmetic with Creative Definitions by Induction.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1953, v:18, n:2, pp:115-118 [Journal] - John R. Myhill
**Solution of a Problem of Tarski.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:1, pp:49-51 [Journal] - John R. Myhill
**Remark on a System of Bernays.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1963, v:28, n:1, pp:75-76 [Journal] - John R. Myhill
**Constructive Set Theory.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1975, v:40, n:3, pp:347-382 [Journal]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |