Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A formalization of set theory without variables / Alfred Tarski, Steven Givant
| 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 insiemi - Assiomatica |
| 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 | ||
| ||
Cardinal algebras / Alfred Tarski
| Cardinal algebras / Alfred Tarski |
| Autore | Tarski, Alfred <1901-1983> |
| Pubbl/distr/stampa | New York : Oxford university press, 1949 |
| Descrizione fisica | xii, 326 p. ; 23 cm |
| Disciplina | 512 |
| Soggetto non controllato | Algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001199580403321 |
|
Tarski, Alfred <1901-1983>
|
||
| New York : Oxford university press, 1949 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cardinal Algebras / by Alfred Tarski ; with an appendix "Cardinal products of isomorphism type" by Bjarni Jonsson and Alfred Tarski
| Cardinal Algebras / by Alfred Tarski ; with an appendix "Cardinal products of isomorphism type" by Bjarni Jonsson and Alfred Tarski |
| Autore | Tarski, Alfred <1901-1983> |
| Pubbl/distr/stampa | New York : Oxford University Press, 1949 |
| Disciplina | 512 |
| Soggetto non controllato |
Algebra
Teoria delle equazioni Calcolo vettoriale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001068430403321 |
|
Tarski, Alfred <1901-1983>
|
||
| New York : Oxford University Press, 1949 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cylindric algebras / by HENKIN L. , MONK J.D. and TARSKI A.
| Cylindric algebras / by HENKIN L. , MONK J.D. and TARSKI A. |
| Autore | Henkin, Leon |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1985 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001300880403321 |
|
Henkin, Leon
|
||
| Amsterdam [etc.] : North-Holland, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cylindric algebras : With an Introductory Chapter: General Theory of Algebras / Leon Henkin, J. Donald Monk, Alfred Tarski
| Cylindric algebras : With an Introductory Chapter: General Theory of Algebras / Leon Henkin, J. Donald Monk, Alfred Tarski |
| Autore | Henkin, Leon |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1971 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Algebra
Teoria delle equazioni Calcolo vettoriale |
| ISBN | 0-7204-2043-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001006840403321 |
|
Henkin, Leon
|
||
| Amsterdam [etc.] : North-Holland, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cylindric algebras : With an Introductory Chapter: General Theory of Algebras / by HENKIN L. , MONK J.D. and TARSKI A.
| Cylindric algebras : With an Introductory Chapter: General Theory of Algebras / by HENKIN L. , MONK J.D. and TARSKI A. |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1971 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001300870403321 |
| Amsterdam [etc.] : North-Holland, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Direct Decompositions of Finite Algebraic Systems / By Bjarni Jonsson and Alfred Tarski
| Direct Decompositions of Finite Algebraic Systems / By Bjarni Jonsson and Alfred Tarski |
| Autore | Jonsson, Bjarni |
| Pubbl/distr/stampa | Indiana : Notre Dame Press, 1947 |
| Disciplina | 517.00//517.36 |
| Collana | Notre Dame Mathematical Lectures |
| Soggetto non controllato |
Analisi funzionale
Algebre astratte |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001013920403321 |
|
Jonsson, Bjarni
|
||
| Indiana : Notre Dame Press, 1947 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction a la logique / par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay
| Introduction a la logique / par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay |
| Autore | Tarski, Alfred <1901-1983> |
| Pubbl/distr/stampa | Paris : Gauthier-Villars, 1960 |
| Descrizione fisica | XVI, 224 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Collection de logique mathématique, Série A |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990004110310403321 |
|
Tarski, Alfred <1901-1983>
|
||
| Paris : Gauthier-Villars, 1960 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to logic and to the methodology of deductive sciences / Alfred Tarski
| Introduction to logic and to the methodology of deductive sciences / Alfred Tarski |
| Autore | Tarski, Alfred <1901-1983> |
| Edizione | [3nd ed.] |
| Pubbl/distr/stampa | New York : Oxford University Press, 1965 |
| Descrizione fisica | xviii, 252 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008505210403321 |
|
Tarski, Alfred <1901-1983>
|
||
| New York : Oxford University Press, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski
| Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski |
| Autore | Tarski, Alfred <1901-1983> |
| Pubbl/distr/stampa | New York : Oxford University Press, 1946 |
| Descrizione fisica | xviii, 239 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001068420403321 |
|
Tarski, Alfred <1901-1983>
|
||
| New York : Oxford University Press, 1946 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
