Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Full Title: | Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7) |
---|---|
ISBN: | 0521356539 |
ISBN13: | 9780521356534 |
List Price: | USD $72.99 |
Authors: |
Lambek, J. Scott, P. J. |