A formalization of set theory without variables / Alfred Tarski, Steven Givant |
Autore | Tarski, Alfred |
Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, 1987 |
Descrizione fisica | xxi, 318 p. ; 26 cm |
Disciplina | 511.322 |
Altri autori (Persone) | Givant, Steven R.author |
Collana | Colloquium publications, 0065-9258 ; 41 |
Soggetto topico |
Mathematical logic
Set theory Symbolic logic |
ISBN | 0821810413 |
Classificazione |
AMS 03B
AMS 03B30 AMS 03C05 AMS 03E30 AMS 03G15 QA248.T37 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000902259707536 |
Tarski, Alfred
![]() |
||
Providence, R. I. : American Mathematical Society, 1987 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Logic as algebra / Paul Halmos, Steven Givant |
Autore | Halmos, Paul Richard |
Pubbl/distr/stampa | [Washington, D.C.] : Mathematical Association of America, c1998 |
Descrizione fisica | ix, 141 p. : ill. ; 23 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Givant, Steven R.author |
Collana | The Dolciani mathematical expositions ; 21 |
Soggetto topico | Symbolic and mathematical logic |
ISBN | 0883853272 |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001094299707536 |
Halmos, Paul Richard
![]() |
||
[Washington, D.C.] : Mathematical Association of America, c1998 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|