Automated Reasoning in Higher-order Logic
Set Comprehension and Extensionality in Church's Type Theory
Edición de la obra Automated Reasoning in Higher-order Logic
| Autor | C, E Brown |
|---|---|
| Editorial | College Publications |
| Fecha de publicación | October 22, 2007 |
| Idioma | inglés |
| Páginas | 564 |
| Formato | Paperback |
| ISBN-13 | 9781904987574 |
| ISBN-10 | 1904987575 |
| OCLC | 266973289 |
| Número de Cutter | A939 |