Incompleteness and Completeness: Formalizing Logic and Analysis in Type Theory..
USD 150.00 USD
Specifications
| Author | Russell O'Connor |
| Language | English |
| Format | Softcover |
| ISBN | 9090244557 |
The relationships in this novel are drawn with incredible nuance.