ENGLISH

Categorical Logic

By Andrew M. Pitts

Book information

Year
1995
Language
english
Format
PDF
Filesize
662 kB (678178 bytes)
Series
draft of a chapter in: S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds.), Handbook of Logic in Computer Science, vol. VI, OUP
Edition
version 18 May 1995
Pages
95\95
Time added
2016-09-19 02:43:57

Similar books