11 results
Planarity and minimal path algorithms
 Part of

 Journal:
 Journal of the Australian Mathematical Society / Volume 40 / Issue 1 / February 1986
 Published online by Cambridge University Press:
 09 April 2009, pp. 131142
 Print publication:
 February 1986

 Article

 You have access
 Export citation
Partial orderings of fixed finite dimension: Model companions and density1

 Journal:
 The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
 Published online by Cambridge University Press:
 12 March 2014, pp. 789802
 Print publication:
 December 1981

 Article
 Export citation
Meeting of the Association for Symbolic Logic, San Diego, 1979

 Journal:
 The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
 Published online by Cambridge University Press:
 12 March 2014, pp. 199203
 Print publication:
 March 1981

 Article
 Export citation
Twodimensional partial orderings: Undecidability

 Journal:
 The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
 Published online by Cambridge University Press:
 12 March 2014, pp. 133143
 Print publication:
 March 1980

 Article
 Export citation
Twodimensional partial orderings: Recursive model theory

 Journal:
 The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
 Published online by Cambridge University Press:
 12 March 2014, pp. 121132
 Print publication:
 March 1980

 Article
 Export citation
John N. Crossley. Recursive equivalence: a survey. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, SpringerVerlag, Berlin, Heidelberg, and New York, 1968, pp. 241–251.  John N. Crossley. Recursive equivalence. The bulletin of the London Mathematical Society, vol. 2 (1970), pp. 129–151.

 Journal:
 The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
 Published online by Cambridge University Press:
 12 March 2014, pp. 406407
 Print publication:
 June 1972

 Article
 Export citation
J. C. E. Dekker. Les fonctions combinatoires et les isols. Collection de logique mathématique, série A, no. 22, GauthiersVillars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 pp.

 Journal:
 The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
 Published online by Cambridge University Press:
 12 March 2014, p. 406
 Print publication:
 June 1972

 Article
 Export citation
Some contrasts between degrees and the arithmetical hierarchy

 Journal:
 The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
 Published online by Cambridge University Press:
 12 March 2014, pp. 301304
 Print publication:
 June 1971

 Article
 Export citation
Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 (1968), pp. 221–230.

 Journal:
 The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
 Published online by Cambridge University Press:
 12 March 2014, p. 590
 Print publication:
 December 1970

 Article
 Export citation
A universal embedding property of the RETs

 Journal:
 The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
 Published online by Cambridge University Press:
 12 March 2014, pp. 5159
 Print publication:
 March 1970

 Article
 Export citation
Rich coordinals, addition isomorphisms, and RETs1

 Journal:
 The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
 Published online by Cambridge University Press:
 12 March 2014, pp. 4552
 Print publication:
 29 May 1969

 Article
 Export citation