1971/01/01 by Angus Macintyre · 1 citationMathematics · Computer Science · #Rings, Modules, and Algebras #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms
paper · pdf · doi:10.4064/fm-70-3-253-270