A formalization of set theory without variables
A formalization of set theory without variables
1987
Tarski, Alfred.
Details
First published
1987
OL Work ID
OL1383415W
Subjects
Logic, Symbolic and mathematical
Set theory
Symbolic and mathematical Logic
Find this book
Open Library