A formalization of set theory without variables / by Alfred Tarski and Steven Givant

Date : 1987

Editeur / Publisher : Providence (R.I.) : American Mathematical Society , cop. 1987

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-8218-1041-3

ISBN : 978-0-8218-1041-5

Théorie des ensembles

Logique mathématique

Classification Dewey : 511.3/22

Tarski, Alfred (1901-1983) (Auteur / author)

Givant, Steven R. (1943-....) (Auteur / author)

Collection : Colloquium Publications / American Mathematical Society / Providence, R.I : American Mathematical Society , 19