A formalization of set theory without variables

Tarski, Alfred

A formalization of set theory without variables - Providence American Mathematical Society 1987 - xxi, 318p. - ( Colloquium publications) ( American Mathematical Society v.1) .

510.23 / TAR

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India