A formalization of set theory without variables


Alfred Tarski
Bok Engelsk 1987

Detaljer

Bibliotek som har denne