
Automated Reasoning in Higher-order Logic
- Undertitel
- Set Comprehension and Extensionality in Church's Type Theory
- Författare
- Chad E. Brown
- ISBN
- 9781904987574
- Språk
- Engelska
- Vikt
- 781 gram
- Utgivningsdatum
- 2007-10-22
- Förlag
- College Publications
- Sidor
- 564
