Enciclopedia delle matematiche elementari / a cura di L. Berzolari, G. Vivanti e D. Gigli
| Enciclopedia delle matematiche elementari / a cura di L. Berzolari, G. Vivanti e D. Gigli |
| Autore | Berzolari, Luigi |
| Pubbl/distr/stampa | Milano : Ulrico Hoepli, c1964-1969 |
| Descrizione fisica | 3 v. in 7 ; 24 cm |
| Disciplina | 510.82 |
| Altri autori (Persone) |
Vivanti, Giulio
Gigli, Duilio |
| Soggetto topico | Dictionaries and other general reference works |
| Classificazione |
AMS 00A20
AMS 03-00 AMS 11-00 AMS 15-00 AMS 22-00 AMS 26-00 AMS 30-00 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000860429707536 |
Berzolari, Luigi
|
||
| Milano : Ulrico Hoepli, c1964-1969 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Fundamentals of fuzzy sets / edited by Didier Dubois and Henri Prade ; foreword by Lotfi A. Zadeh
| Fundamentals of fuzzy sets / edited by Didier Dubois and Henri Prade ; foreword by Lotfi A. Zadeh |
| Pubbl/distr/stampa | Boston ; London ; Dordrecht : Kluwer Academic, c2000 |
| Descrizione fisica | xxi, 647 p. : ill. ; 25 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Dubois, Didier
Prade, Henri M. |
| Collana | The handbooks of fuzzy sets series ; FSHS 7 |
| Soggetto topico | Fuzzy sets |
| ISBN | 079237732X |
| Classificazione |
AMS 03E72
AMS 03-00 AMS 03-02 LC QA248.5.F86 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002463499707536 |
| Boston ; London ; Dordrecht : Kluwer Academic, c2000 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen
| Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen |
| Autore | Benthem, Johan : van |
| Pubbl/distr/stampa | Amsterdam : Elsevier ; Cambridge, MA : The MIT Press, 1997 |
| Descrizione fisica | xxiii, 1247 p. : ill. ; 25 cm. |
| Disciplina | 410.151 |
| Altri autori (Persone) | Meulen, Alice ter |
| Soggetto topico | Mathematical logic-handbooks |
| ISBN |
044481714X (Elsevier)
0262220539 (The MIT Press) |
| Classificazione | AMS 03-00 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000973109707536 |
Benthem, Johan : van
|
||
| Amsterdam : Elsevier ; Cambridge, MA : The MIT Press, 1997 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al]
| Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al] |
| Autore | Barwise, Jon |
| Edizione | [1st ed] |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1993 |
| Descrizione fisica | xi, 1165 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Keisler, H. Jerome |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 90 |
| Soggetto topico |
Mathematical logic-textbooks
Symbolic and mathematical logic Symbolic logic |
| ISBN |
072042285X
0444863885 (pbk) |
| Classificazione | AMS 03-00 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000973279707536 |
Barwise, Jon
|
||
| Amsterdam : North-Holland, 1993 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
| The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis |
| Autore | Davis, Martin |
| Pubbl/distr/stampa | New York : Raven Press, c1965 |
| Descrizione fisica | 440 p. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
History of mathematics
Mathematical logic Undecidability |
| Classificazione |
AMS 01A05
AMS 03-00 AMS 03D35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001465469707536 |
Davis, Martin
|
||
| New York : Raven Press, c1965 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||