
Automated Reasoning in Higher-order Logic
- Alaotsikko
- Set Comprehension and Extensionality in Church's Type Theory
- Kirjailija
- Chad E. Brown
- ISBN
- 9781904987574
- Kieli
- englanti
- Paino
- 781 grammaa
- Julkaisupäivä
- 22.10.2007
- Kustantaja
- College Publications
- Sivumäärä
- 564