Research output per year
Research output per year
Research output
- 1 Chapter
-
Decidability and definability in second-order theories
Rabin, M. O., 1971, Actes du Congrès International des Mathématiciens (Nice, 1970). Gauthier-Villars Éditeur, Paris, Vol. 1. p. 239-244 6 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review