Completeness and definability
Subtitle: applications of the Ehrenfeucht game in second-order and intensional logic
By: Kees Doets
Contributors: Universiteit van Amsterdam
Published: 1987
Language: eng
Number of pages: 121
Notes: Thesis (doctoral)--Universiteit van Amsterdam, 1987.