Spector Forcing

Autor: Henle, J. M.
Zdroj: The Journal of Symbolic Logic, 1984 Jun 01. 49(2), 542-554.
Databáze: JSTOR Journals