Completeness and definability
applications of the Ehrenfeucht game in second-order and intensional logic
Edición de la obra Completeness and definability
| Autor | Kees Doets |
|---|---|
| Fecha de publicación | 1987 |
| Idioma | inglés |
| Páginas | 121 |
| OCLC | 58838442 |
| Número de Cutter | D653c |