A formalization of set theory without variables

by Alfred Tarski and Steven Givant
Bok · Engelsk · 1987

Utgitt	Providence, R.I. : American Mathematical Society , c1987
Omfang	xxi, 318 s.
Emner	Logikk Mengdelære : (NO-TrBIB)REAL002861 Mengdeteori mengdelære matematisk-logikk
ISBN	0821810413