Introduction To Higher-Order Categorical Logic (Cambridge Studies In Advanced Mathematics)

Author: J. Lambek, P. J. Scott,
Publisher: Cambridge University Press
Keywords: cambridge, studies, advanced, logic, categorical, higher, order, introduction
Pages: 304
Published: 1988-03-25
Language: English
ISBN-10: 0521356539     ISBN-13: 9780521356534
Binding: Paperback
List Price: 53.00 USD
  • Rating: 80%