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.
Selected mathematical papers of Axel Thue / with an introduction by Carl Ludwig Siegel ; ed. by Trygve Nagell...[et al.]
| Selected mathematical papers of Axel Thue / with an introduction by Carl Ludwig Siegel ; ed. by Trygve Nagell...[et al.] |
| Autore | Thue, Axel |
| Pubbl/distr/stampa | Oslo : Universitetsforlaget, c1977 |
| Descrizione fisica | lviii, 591 p. : ill. ; 23 cm. |
| Disciplina | 510.8 |
| Altri autori (Persone) | Siegel, Carl Ludwigauthor |
| Soggetto topico |
Collected works
Mathematics Number theory Symbolic logic |
| ISBN | 8200016498 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001322399707536 |
Thue, Axel
|
||
| Oslo : Universitetsforlaget, c1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Studies in foundations and combinatorics / ed. Gian Carlo Rota
| Studies in foundations and combinatorics / ed. Gian Carlo Rota |
| Autore | Rota, Gian Carlo |
| Pubbl/distr/stampa | New York : Academic Press, 1978 |
| Descrizione fisica | viii, 265 p. ; 24 cm. |
| Disciplina | 511.6 |
| Collana | Advances in mathematics supplementary studies ; 1 |
| Soggetto topico |
Combinatorial analysis
Symbolic logic |
| ISBN | 0125991010 |
| Classificazione |
AMS 05-02
AMS 05-XX QA164.S85 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001388949707536 |
|
Rota, Gian Carlo
|
||
| New York : Academic Press, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Symbolic logic / Irving M. Copi
| Symbolic logic / Irving M. Copi |
| Autore | Copi, Irving M. |
| Edizione | [4th ed] |
| Pubbl/distr/stampa | New York : The Macmillan, c1973 |
| Descrizione fisica | xiii, 350 p. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001405259707536 |
|
Copi, Irving M.
|
||
| New York : The Macmillan, c1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Term logic with choice operator / Hans Hermes
| Term logic with choice operator / Hans Hermes |
| Autore | Hermes, Hans |
| Edizione | [[1st engl. ed.]] |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1970 |
| Descrizione fisica | 55 p. ; 26 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 6 |
| Soggetto topico | Symbolic logic |
| Classificazione | AMS 03B |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001422119707536 |
|
Hermes, Hans
|
||
| Berlin ; New York : Springer-Verlag, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
