![cover of the book Semantics of type theory: correctness, completeness and independence results](/covers/files_200/2359000/ce139a9c09471da5e91944201e9fae26-d.jpg)
Ebook: Semantics of type theory: correctness, completeness and independence results
Author: Streicher Thomas
- Genre: Computers
- Tags: Mathematics., Computer science., Computer science -- Mathematics.
- Series: Progress in theoretical computer science
- Year: 1991
- Publisher: Birkhauser
- Language: English
- djvu
Download the book Semantics of type theory: correctness, completeness and independence results for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)