Obrad Kasum

Un guide sur les déclarations logiques complexes et leurs implications.

Une méthode pour construire des modèles qui satisfont la détermination et la régularité en théorie des ensembles.