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)