Home Advanced Search

Advanced Search - Page 1

Formal Systems and Recursive Functions
  • PDF
  • English
  • Year: 1965
  • Author: J N Crossley, M A E Dummett
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)
What is Mathematical Logic?
  • PDF
  • English
  • Year: 1990 (1972)
  • Author: J. N. Crossley et al.
Combinatorial Functors
  • PDF
  • English
  • Year: 1974
  • Author: J. N. Crossley, Anil Nerode (auth.)
Elements of intuitionism
  • DJVU
  • English
  • Year: 2000
  • Author: Dummett, Michael A. E
Constructive Order Types
  • PDF
  • English
  • Author: John N. Crossley
Logic Colloquium: Symposium on Logic Held at Boston, 1972–73
  • PDF
  • English
  • Year: 1975
  • Author: J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)