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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation, logic, philosophy : A collection of Essays / Wang Hao.
| Computation, logic, philosophy : A collection of Essays / Wang Hao. |
| Autore | Hao, Wang |
| Pubbl/distr/stampa | Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 |
| Descrizione fisica | XXVII, 373 p. ; 24 cm |
| Disciplina | 511 |
| Soggetto non controllato |
Logica generale
Teoria della ricorsivita' |
| ISBN | 7-03-000211-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001324800403321 |
Hao, Wang
|
||
| Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fuzzy Reasoning and its Applications Edited by E.H. Mamdani and B.R. Gaines
| Fuzzy Reasoning and its Applications Edited by E.H. Mamdani and B.R. Gaines |
| Pubbl/distr/stampa | London [etc.] : Academic Press, 1981 |
| Soggetto non controllato |
Computer science - Congressi
Logica generale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001291790403321 |
| London [etc.] : Academic Press, 1981 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||