1
Published 1975
Springer Berlin Heidelberg
Table of Contents: ... to recursion on general structures -- Closed models and hulls of theories -- Axioms of choice in Morse-Kelley...