
Automated Reasoning in Higher-order Logic
- Undertittel
- Set Comprehension and Extensionality in Church's Type Theory
- Forfatter
- Chad E. Brown
- ISBN
- 9781904987574
- Språk
- Engelsk
- Vekt
- 781 gram
- Utgivelsesdato
- 22.10.2007
- Forlag
- College Publications
- Antall sider
- 564
