A formalization of set theory without variables / Alfred Tarski, Steven Givant |
Autore | Tarski, Alfred <1901-1983> |
Pubbl/distr/stampa | Providence : American Mathematical Society, 1987 |
Descrizione fisica | XXI, 318 p., 26 cm |
Disciplina | 511.3 |
Collana | Colloquium Publications |
Soggetto non controllato |
Logica generale
Teoria classica degli insiemiAssiomatica |
ISBN | 0-8218-1041-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001317400403321 |
Tarski, Alfred <1901-1983> | ||
Providence : American Mathematical Society, 1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to boolean algebras / Steven Givant, Paul Halmos |
Autore | Givant, Steven |
Pubbl/distr/stampa | New York : Springer, 2009 |
Descrizione fisica | XIV, 574 p. ; 24 cm |
Disciplina | 511.33 |
Altri autori (Persone) | Halmos, Paul |
Collana | Undergraduate Text in Mathematics |
Soggetto non controllato |
Esposizione didattica
Algebre di BooleAnelli boleani |
ISBN | 978-0-387-40293-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008860990403321 |
Givant, Steven | ||
New York : Springer, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to Boolean algebras [e-book] / by Steven Givant, Paul Halmos ; edited by S. Axler, K. A. Riber |
Autore | Givant, Steven |
Pubbl/distr/stampa | New York : Springer, 2009 |
Descrizione fisica | v.: digital |
Altri autori (Persone) |
Axler, S.
Halmos, Paul Richard Riber, K. A. |
Collana | Undergraduate Texts in Mathematics, 0172-6056 |
Soggetto topico |
Algebra
Logic, Symbolic and mathematical |
ISBN | 9780387684369 |
Formato | Software |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000518569707536 |
Givant, Steven | ||
New York : Springer, 2009 | ||
Software | ||
Lo trovi qui: Univ. del Salento | ||
|