Ebook: A Transfinite Type Theory with Type Variables
Author: Peter B Andrews
- Genre: Mathematics // Logic
- Series: Studies in Logic and the Foundations of Mathematics 37
- Year: 1965
- Publisher: North-Holland
- Edition: NH
- Language: English
- djvu
Download the book A Transfinite Type Theory with Type Variables for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)