TY  - BOOK
A1  - TARSKI,ALFRED
TI  - A formalization of set theory without variables
PB  - کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
SN  - 91689991
UR  /book/91689991/A-formalization-of-set-theory-without-variables/
ER  -