ENGLISH

Intuitionistic Type Theory

By it-ebooks

Book information

Publisher
iBooker it-ebooks
Year
2017
Language
english
Format
PDF
Filesize
672 kB (688584 bytes)
Series
it-ebooks-2017
Pages
\57
Time added
2021-03-29 12:30:10

Similar books