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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|