Alfred Tarski

Œuvres (1)

Couverture : A formalization of set theory without variables

A formalization of set theory without variables

1987