John N. Crossley | Researchain

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where John N. Crossley is active.

Explore More

Publication

Featured researches published by John N. Crossley.

Journal of Symbolic Logic | 1966

Constructive order types, II

John N. Crossley

Archive for Mathematical Logic | 1987

Natural well-orderings

John N. Crossley; Jane Bridge Kister

Archive for Mathematical Logic | 1966

Non-uniqueness at ω2 in Kleene'sO

John N. Crossley; Kurt Schütte

Archive for Mathematical Logic | 1966

Constructive order types, III

Peter Aczel; John N. Crossley

Archive | 1968

Recursive equivalence: A survey

John N. Crossley

Journal of Symbolic Logic | 1991

Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of it.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers

John N. Crossley; Andrew Hodges; Rolf Herken; S. C. Kleene; Robin O. Gandy; Solomon Feferman; Martin Davis; Esther R. Phillips

Journal of Symbolic Logic | 1989

Review: Dirk van Dalen, Algorithms and Decision Problems: a Crash Course in Recursion Theory

John N. Crossley

Journal of Symbolic Logic | 1981

Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979

John N. Crossley; Lloyd Humberstone

Journal of Symbolic Logic | 1971

Manaster Alfred B.. Rich co-ordinals, addition isomorphisms, and RETs. The journal of symbolic logic , vol. 34 (1969), pp. 45–52.

John N. Crossley

Journal of Symbolic Logic | 1971

Review: Alfred B. Manaster, Rich Co-Ordinals, Addition Isomorphisms, and RETs

John N. Crossley

Explore More

Collaboration

Dive into the John N. Crossley's collaboration.

Top Co-Authors

Robin O. Gandy

University of Leicester

View shared research outputs

Top Co-Authors

Peter Aczel

University of Manchester

View shared research outputs

Top Co-Authors

Kurt Schütte

University of Kiel

View shared research outputs

Top Co-Authors

Martin Davis

New York University

View shared research outputs

Top Co-Authors

S. C. Kleene

University of Wisconsin-Madison

View shared research outputs

Top Co-Authors

Solomon Feferman

Stanford University

View shared research outputs

Explore More