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