Home Advanced Search

Advanced Search - Page 1

Introduction to higher-order categorical logic
  • DJVU
  • English
  • Year: 1994
  • Author: Lambek J., Scott P.J.
Introduction to Higher-Order Categorical Logic
  • PDF
  • English
  • Year: 1986
  • Author: J. Lambek, P.J. Scott
Introduction to Higher Order Categorical Logic
  • DJVU
  • English
  • Year: 1988
  • Author: J. Lambek, P. J. Scott
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
  • PDF
  • English
  • Year: 1988
  • Author: J. Lambek, P. J. Scott
Introduction to Higher-Order Categorical Logic
  • PDF
  • English
  • Year: 1988
  • Author: J. Lambek, P. J. Scott
Introduction to higher-order categorical logic
  • DJVU
  • English
  • Year: 1988
  • Author: J. Lambek, P. J. Scott
Introduction to Higher-Order Categorical Logic
  • PDF
  • English
  • Year: 1988
  • Author: J. Lambek, P. J. Scott
The Heritage of Thales
  • DJVU
  • English
  • Year: 1995
  • Author: W.S. Anglin, J. Lambek
The Heritage of Thales
  • DJVU
  • English
  • Year: 1995
  • Author: W.S. Anglin, J. Lambek
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971
  • DJVU
  • English
  • Year: 1972
  • Author: I. Bucur, J. Giraud, N. Goodman, J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney (auth.), F. W. Lawvere (eds.)
search