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 beginner's guide to discrete mathematics / W. D. Wallis
| A beginner's guide to discrete mathematics / W. D. Wallis |
| Autore | Wallis, Walter Denis |
| Pubbl/distr/stampa | Boston : Birkhäser, c2003 |
| Descrizione fisica | xi, 367 p. : ill. ; 24 cm |
| Disciplina | 510 |
| Soggetto topico |
Mathematics
Computer science - Mathematics |
| ISBN | 0817642692 |
| Classificazione |
AMS 15-01
AMS 03-01 LC QA39.3.W35 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000510269707536 |
Wallis, Walter Denis
|
||
| Boston : Birkhäser, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli
| Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Bologna : Il Mulino, c1988 |
| Descrizione fisica | 209 p. ; 22 cm. |
| Disciplina | 511.3 |
| Collana | Saggi [Il Mulino] ; 351 |
| Soggetto topico |
Mathematical logic
Symbolic logic |
| ISBN | 8815019987 |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000731619707536 |
|
Lolli, Gabriele
|
||
| Bologna : Il Mulino, c1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Categorie, universi e principi di riflessione / Gabriele Lolli
| Categorie, universi e principi di riflessione / Gabriele Lolli |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Torino : Boringhieri, 1977 |
| Descrizione fisica | 92 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Lezioni e seminari |
| Soggetto topico |
Mathematical logic and foundations
Logica matematica |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000735749707536 |
|
Lolli, Gabriele
|
||
| Torino : Boringhieri, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Che cos'è la logica matematica? / John N. Crossley, Christopher J. Ash, Chris J. Brickhill, John C. Stillwell, Neil H. Williams ; traduzione di Teresa Pallucchini
| Che cos'è la logica matematica? / John N. Crossley, Christopher J. Ash, Chris J. Brickhill, John C. Stillwell, Neil H. Williams ; traduzione di Teresa Pallucchini |
| Autore | Ash, Christopher J. |
| Pubbl/distr/stampa | Torino : Boringhieri, 1976 |
| Descrizione fisica | 124 p. ; 19 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Brickhill, Chris J.
Crossley, John N.author Stillwell, John Williams Neil H. Pallucchini, Teresa |
| Collana | Universale scientifica ; 140 |
| Soggetto topico | Mathematical logic-textbooks |
| ISBN | 8833900118 |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000741349707536 |
|
Ash, Christopher J.
|
||
| Torino : Boringhieri, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Cours de logique mathématique / Roland Fraisse
| Cours de logique mathématique / Roland Fraisse |
| Autore | Fraisse, Roland |
| Edizione | [2me éd. rev. et modif] |
| Pubbl/distr/stampa | Paris : Gauthier-Villars, 1971-1972 |
| Descrizione fisica | 3 t. ; 23 cm. |
| Disciplina | 511.3 |
| Collana |
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 23
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 24 Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 25 |
| Soggetto topico |
Mathematical logic-textbooks
Model theory |
| Classificazione |
AMS 03-01
AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991000797079707536 |
|
Fraisse, Roland
|
||
| Paris : Gauthier-Villars, 1971-1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A course in mathematical logic / by J. L. Bell and M. Machover
| A course in mathematical logic / by J. L. Bell and M. Machover |
| Autore | Bell, J.S. |
| Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977 |
| Descrizione fisica | xviii, 599 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Machover, Moshé |
| Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
| ISBN | 0720428440 |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000798309707536 |
|
Bell, J.S.
|
||
| Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A course in mathematical logic / Yu. I. Manin; transl. by Neal Koblitz
| A course in mathematical logic / Yu. I. Manin; transl. by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1977 |
| Descrizione fisica | xiii, 286 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Koblitz, Neal |
| Collana | Graduate texts in mathematics, 0072-5285 ; 53 |
| Soggetto topico | Mathematical logic |
| ISBN | 0387902430 |
| Classificazione |
AMS 03-01
AMS 03-XX AMS 03B AMS 03F QA9.M296 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000798399707536 |
|
Manin, Yuri I.
|
||
| New York : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Einfuhrung in die operative Logik und Mathematik / Paul Lorenzen
| Einfuhrung in die operative Logik und Mathematik / Paul Lorenzen |
| Autore | Lorenzen, Paul |
| Edizione | [2. Aufl] |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1969 |
| Descrizione fisica | 298 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 78 |
| Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991000843599707536 |
|
Lorenzen, Paul
|
||
| Berlin ; New York : Springer-Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Elementi di logica matematica / Corrado Mangione
| Elementi di logica matematica / Corrado Mangione |
| Autore | Mangione, Corrado |
| Pubbl/distr/stampa | Torino : Boringhieri, 1964 |
| Descrizione fisica | 127 p. ; 21 cm |
| Disciplina | 511.3 |
| Collana | Serie di ricerca operativa ; 1 |
| Soggetto topico | Mathematical logic |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003437349707536 |
|
Mangione, Corrado
|
||
| Torino : Boringhieri, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Elementi di logica matematica / Petr Sergeevic Novikov ; a cura di Roberto Cordeschi ; pref. di Carlo Cellucci
| Elementi di logica matematica / Petr Sergeevic Novikov ; a cura di Roberto Cordeschi ; pref. di Carlo Cellucci |
| Autore | Novikov, Sergei Petrovich |
| Pubbl/distr/stampa | Roma : Editori Riuniti, 1975 |
| Descrizione fisica | xxx, 312 p. ; 23 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Mathematical logic |
| Classificazione | AMS 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000850129707536 |
|
Novikov, Sergei Petrovich
|
||
| Roma : Editori Riuniti, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
