Ebook: Type theory and formal proof: an Introduction
Author: Geuvers Jan Herman, Nederpelt R. P
- Genre: Computers
- Tags: Teoria typów (logika matematyczna)
- Year: 2014
- Publisher: Cambridge University Press
- City: Cambridge
- Language: English
- pdf
Download the book Type theory and formal proof: an Introduction for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)