A formalization of set theory without variables
Gespeichert in:
Verfasser / Beitragende:
by Alfred Tarski and Steven Givant
Ort, Verlag, Jahr:
Providence, R.I :
American Mathematical Society,
1987
Beschreibung:
1 Online-Ressource
Format:
Buch (online)
Online Zugang: