A formalization of set theory without variables /

A formalization of set theory without variables /

41

Bibliographic Details
Main Authors: 319988 Tarski, Alfred, Givant, Steven
Format:
Published: Providence, R.I. : American Mathematical Society, 1987
Subjects:
Set theory
Logic, Symbolic and mathematical

Similar Items