Type Theory and Formal Proof: An Introduction
Country | USA |
Brand | Elsevier |
Manufacturer | Elsevier Science |
Binding | Paperback |
ItemPartNumber | black & white illustrations |
Model | black & white illustrations |
ReleaseDate | 2001-05-24 |
UnitCount | 1 |
EANs | 9780444508539 |