Home Advanced Search

Advanced Search - Page 1

Constructive Order Types
  • PDF
  • English
  • Author: John N. Crossley
Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965
  • PDF
  • English
  • Year: 1967
  • 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.)
Constructive Order Types
  • PDF
  • English
  • Year: 1969
  • Author: John N. Crossley (Eds.)
Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
  • PDF
  • English
  • Year: 1975
  • Author: J N Crossley (auth.), Prof. John Newsome Crossley (eds.)
Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500
  • PDF
  • English
  • Year: 2011
  • Author: Constant J. Mews, John N. Crossley
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)
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)
Adapting Proofs-as-Programs : The Curry-Howard Protocol
  • PDF
  • English
  • Year: 2005
  • Author: Iman Poernomo, John N. Crossley, Martin Wirsing
search