Home Advanced Search

Advanced Search - Page 1

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
Basic Simple Type Theory
  • DJVU
  • English
  • Year: 1997
  • Author: J Roger Hindley
Oriental Carpet Design: A Guide to Traditional Motifs, Patterns and Symbols
  • PDF
  • English
  • Year: 2008
  • Author: P. R. J. Ford
Les mutations contemporaines du religieux: Colloque organisé à la Fondation Singer-Polignac le 27 mars 2002
  • PDF
  • French
  • Year: 2003
  • Author: J -R Armogathe, J -P Willaime
Basic Ship Propulsion
  • PDF
  • English
  • Author: J. P. Ghose, R. P. Gokarn
Recent Research in Roman Yorkshire: Studies in honour of Mary Kitson Clark (Mrs Derwas Chitty)
  • PDF
  • English
  • Year: 1988
  • Author: J. Price, P. R. Wilson
Tratado de Geologia Paleontologia Estratigrafia
  • PDF
  • Spanish
  • Author: Auboin J., Brousse R., Lehnman J. P.
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)
Responsible marine aquaculture
  • PDF
  • English
  • Year: 2002
  • Author: Stickney, R. R., McVey, J. P. (Eds.)
Responsible marine aquaculture
  • PDF
  • English
  • Year: 2002
  • Author: Stickney, R. R., McVey, J. P. (Eds.)
search