Math/Logic/Set/Func.

[논리] 술어부(Predicates) & 한정자(Quantifiers)

Weistern 2008. 11. 18. 23:53