Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Publisher: Cambridge University Press
Published: March 25, 1988
Language: eng
Format: Paperback
Number of pages: 304
ISBN-13: 9780521356534
Subjects: Category theory; Mathematics; Science/Mathematics; Logic; Mathematics / Combinatorics; Mathematics / Logic; General
First sentence: In Part 0 we recall the basic background in category theory which may be required in later portions of this book.