1987-05-06
Completeness and definability : applications of the Ehrenfeucht game in second-order and intensional logic
Publication
Publication
| Additional Metadata | |
|---|---|
| Stichting Mathematisch Centrum | |
| J. F. A. K. van Benthem (Johan) | |
|
Doets, K. (1987, May 6). Completeness and definability : applications of the Ehrenfeucht game in second-order and intensional logic. Stichting Mathematisch Centrum. |
|