Introduction to higher order categorical logic
eBook, English, 1988, c1986
1st pbk. ed. (with corrections) View all formats and editions
Cambridge University Press, Cambridge [Cambridgeshire], 1988, c1986
1 online resource (ix, 293 pages).
1150043132
Includes indexes
archive.org Free eBook from the Internet Archive
openlibrary.org Additional information and access via Open Library