Home Advanced Search

Advanced Search - Page 1

Combinatory logic
  • DJVU
  • English
  • Year: 1972
  • Author: Curry H.B., Hindley J.R., Seldin J.P
Combinatory logic. / Volume II
  • PDF
  • English
  • Year: 1972.
  • Author: [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
Outlines of a formalist philosophy of mathematics
  • DJVU
  • English
  • Year: 1951
  • Author: Curry H.B.
Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")
  • PDF
  • English
  • Year: 2011
  • Author: J. R. Hindley, J. P. Seldin
Lambda-Calculus and Combinators: An Introduction
  • PDF
  • English
  • Year: 2008
  • Author: J. Roger Hindley, Jonathan P. Seldin
Lambda-calculus and combinators, an introduction
  • PDF
  • English
  • Year: 2008
  • Author: J. Roger Hindley, Jonathan P. Seldin
Основания математической логики
  • DJVU
  • Russian
  • Year: 1969
  • Author: Карри Х.Б. (Curry H.B.)
A Colour Atlas of Removable Partial Dentures
  • PDF
  • English
  • Year: 1987
  • Author: J.C. Davenport, R.M. Basker, J.R. Heath, J.P. Ralph
A Colour Atlas of Removable Partial Dentures
  • PDF
  • English
  • Year: 1987
  • Author: J.C. Davenport, R.M. Basker, J.R. Heath, J.P. Ralph
Drama and Community: People and Plays in Medieval Europe
  • PDF
  • English
  • Year: 1999
  • Author: Alan Hindley
search