Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
by J. Lambek, P. J. Scott
J. Lambek and P. J. Scott present an advanced mathematical introduction to higher-order categorical logic. Published as number 7 in the Cambridge Studies in Advanced Mathematics series, this title is suited to readers seeking a focused work in logic, category theory, and higher mathematics.
About This Book
Introduction to Higher-Order Categorical Logic presents an advanced treatment of higher-order categorical logic.
Written by J. Lambek and P. J. Scott, the book connects its subject with the fields of mathematics and logic.
It is published in the Cambridge Studies in Advanced Mathematics series as Series Number 7.
Reviews
No reviews yet. Be the first to review this book!