A formalization of set theory without variables /
41
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Providence, R.I. : American Mathematical Society,
1987
|
| Subjects: |
| _version_ | 1796657264913809408 |
|---|---|
| author | 319988 Tarski, Alfred Givant, Steven |
| author_facet | 319988 Tarski, Alfred Givant, Steven |
| author_sort | 319988 Tarski, Alfred |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T15:31:58Z |
| format | |
| id | KOHA-OAI-TEST:61083 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T15:31:58Z |
| publishDate | 1987 |
| publisher | Providence, R.I. : American Mathematical Society, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:610832020-12-19T16:59:15ZA formalization of set theory without variables / 319988 Tarski, Alfred Givant, Steven Providence, R.I. : American Mathematical Society,198741PSZJBLSet theoryLogic, Symbolic and mathematicalURN:ISBN:0821810413 |
| spellingShingle | Set theory Logic, Symbolic and mathematical 319988 Tarski, Alfred Givant, Steven A formalization of set theory without variables / |
| title | A formalization of set theory without variables / |
| title_full | A formalization of set theory without variables / |
| title_fullStr | A formalization of set theory without variables / |
| title_full_unstemmed | A formalization of set theory without variables / |
| title_short | A formalization of set theory without variables / |
| title_sort | formalization of set theory without variables |
| topic | Set theory Logic, Symbolic and mathematical |
| work_keys_str_mv | AT 319988tarskialfred aformalizationofsettheorywithoutvariables AT givantsteven aformalizationofsettheorywithoutvariables AT 319988tarskialfred formalizationofsettheorywithoutvariables AT givantsteven formalizationofsettheorywithoutvariables |