Projective Model Completeness

Autor: Sacerdote, George S.
Zdroj: The Journal of Symbolic Logic, 1974 Mar 01. 39(1), 117-123.
Databáze: JSTOR Journals