Ebook: An introduction to mathematical logic and type theory : to truth through proof
Author: P B Andrews
- Series: Computer science and applied mathematics
- Year: 1986
- Publisher: Academic Press
- City: Orlando
- Language: English
- djvu
Download the book An introduction to mathematical logic and type theory : to truth through proof for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)