TY - BOOK AU - Krivine, Jean-louis, AU - Miller, David AU - Krivine,Jean-louis TI - Introduction to axiomatic set theory T2 - Synthese library SN - 9027701695 AV - QA248 K7418 PY - 1971/// CY - Dordrecht PB - D. Reidel KW - Teoría axiomática de conjuntos ER -