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)
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.)
What is Mathematical Logic?
  • PDF
  • English
  • Year: 1990 (1972)
  • Author: J. N. Crossley et al.
Formal Systems and Recursive Functions (Logic Colloquium'63)
  • DJVU
  • English
  • Year: 1965
  • Author: Crossley J.N., Dummett M.A.E. (eds.)
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
The logical basis of metaphysics
  • PDF
  • English
  • Year: 1991
  • Author: Michael A. E. Dummett