problem-set/set.theory

Click here to see the number of accesses to this library.

# 
#  problem-set/set.theory
#  created : 08/15/88
#  revised : 08/15/88
#  
#  
#  Sub-Directories
#  ----------------------------------------------------------------------

lib	godel
for	godel : set theory problems using Godel's finite axiomatization of set
,	theory.

lib	naive
for	naive : set theory problems using a naive axiomatization of set theory.

#  ----------------------------------------------------------------------
#  
#