Systemes axiomatiques de la theorie des ensembles - Wang Hao; Mcnaughton Robeert (Paris Gauthier- Villars, 1953)
Keywords: Mathematical Logic; Symbolic