Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
| Country | USA |
| Brand | Kern |
| Manufacturer | Kern |
| Binding | Office Product |
| ItemPartNumber | FKB 16K0.1 |
| UnitCount | 1 |
| UPCs | 724086543144 |
| EANs | 0724086543144 |
| ReleaseDate | 0000-00-00 |