Home Advanced Search

Advanced Search - Page 1

Constructive Order Types
  • PDF
  • English
  • Year: 1969
  • Author: John N. Crossley (Eds.)
Constructive Order Types
  • PDF
  • English
  • Author: John N. Crossley
Constructive Order Types
  • DJVU
  • English
  • Year: 1969
  • Author: John N. Crossley
Sets, Models and Recursion Theory (Logic Colloquium'65)
  • DJVU
  • English
  • Year: 1967
  • Author: John N. Crossley (ed.)
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
  • PDF
  • English
  • Year: 1993
  • Author: J. B. Remmel, J. N. Crossley (auth.), John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler (eds.)
Proof, Computation and Agency: Logic at the Crossroads
  • PDF
  • English
  • Year: 2011
  • Author: John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963
  • PDF
  • English
  • Year: 1965
  • Author: John N. Crossley, Michael Dummett (editors)