|
|
P. B. Andrews (1986): An Introduction to Mathematical Logic and Type Theory: To Truth through Proof
| Title: |
An Introduction to Mathematical Logic and Type Theory: To Truth through Proof |
| Author(s): |
P. B. Andrews |
| Year: |
1986 |
| Publisher: |
Academic Press |
Concepts
|
|
