Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
| Country | USA |
| Brand | TBLOTYD |
| Manufacturer | TBLOTYD |
| Binding | Kitchen |
| ItemPartNumber | MHJR4663 |
| EANs | 7325291146453 |
| ReleaseDate | 0000-00-00 |