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. |