130B. J. T. Schwartz. The use of equalities in the deduction of inclusion/membership relations. 30 May 1975.
130B. J. T. Schwartz. The use of equalities in the deduction of inclusion/membership relations. 30 May 1975.
Click here to get the file
Size
589.2 kB
-
File type
application/pdf