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.
Algebre di Hilbert con particolare riferimento alle algebre implicative. Tesi di laurea / laureanda Annunziata Tomba ; relat. D. Lenzi
| Algebre di Hilbert con particolare riferimento alle algebre implicative. Tesi di laurea / laureanda Annunziata Tomba ; relat. D. Lenzi |
| Autore | Tomba, Annunziata |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1986-87 |
| Disciplina | 511.33 |
| Altri autori (Persone) | Lenzi, Domenico |
| Soggetto topico | Algebraic logic |
| Classificazione |
AMS 03G
AMS 03G10 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000666669707536 |
Tomba, Annunziata
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1986-87 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Models and sets : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
| Models and sets : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter |
| Autore | Muller, Gert H. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1984 |
| Descrizione fisica | 2 pt. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Richter, Michael M. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1103 |
| Soggetto topico |
Model theory
Set theory |
| ISBN | 3540139001 |
| Classificazione |
AMS 03C
AMS 03E AMS 03G |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001152139707536 |
|
Muller, Gert H.
|
||
| Berlin : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Models and sets [e-book] : proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part I / edited by Gert H. Müller, Michael M. Richter
| Models and sets [e-book] : proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part I / edited by Gert H. Müller, Michael M. Richter |
| Pubbl/distr/stampa | Berlin : Springer, 1984 |
| Descrizione fisica | 1 online resource (484 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Müller, Gert H.
Richter, Michael M. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1103 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540391159 |
| Classificazione |
AMS 03C
AMS 03E AMS 03G AMS 03H |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002203069707536 |
| Berlin : Springer, 1984 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Studies in algebraic logic / editor Aubert Daigneault
| Studies in algebraic logic / editor Aubert Daigneault |
| Autore | Daigneault, Aubert |
| Pubbl/distr/stampa | [Washington] : MAA (Mathematical Association of America), [1974] |
| Descrizione fisica | vii, 207 p. : ill. ; 21 cm. |
| Disciplina | 511.3 |
| Collana | MAA Studies in mathematics ; 9 |
| Soggetto topico |
Algebraic logic
Mathematical logic and foundations |
| ISBN | 0883851091 |
| Classificazione |
AMS 03-XX
AMS 03G QA10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001388469707536 |
|
Daigneault, Aubert
|
||
| [Washington] : MAA (Mathematical Association of America), [1974] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Sull'algebra di Lindembaum-Tarski della logica lineare pura. Tesi di laurea / laureando G. Vadrucci ; relat. C. Marchini
| Sull'algebra di Lindembaum-Tarski della logica lineare pura. Tesi di laurea / laureando G. Vadrucci ; relat. C. Marchini |
| Autore | Vadrucci, Giancarlo |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1991-92 |
| Disciplina | 511.3 |
| Altri autori (Persone) | Marchini, Carlo |
| Soggetto topico | Algebraic logic |
| Classificazione | AMS 03G |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001397409707536 |
|
Vadrucci, Giancarlo
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1991-92 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The topos of music : geometric logic of concepts, theory, and performance / Guerino Mazzola ; in collaboration with Stefan Göller and Stefan Müller ; contributions by Carlos Agon ... [et al.]
| The topos of music : geometric logic of concepts, theory, and performance / Guerino Mazzola ; in collaboration with Stefan Göller and Stefan Müller ; contributions by Carlos Agon ... [et al.] |
| Autore | Mazzola, Guerino |
| Pubbl/distr/stampa | Basel ; Boston : Birkhauser Verlag, c2002 |
| Descrizione fisica | xxx, 1335 p. : ill. ; 26 cm. + 1 CD-ROM |
| Disciplina | 781.1 |
| Altri autori (Persone) |
Göller, Stefan
Müller, Stefan |
| Soggetto topico |
Music theory - Mathematics
Music - Philosophy and aesthetics |
| ISBN | 3764357312 |
| Classificazione |
AMS 00A06
AMS 00A71 AMS 03C AMS 03G LC ML3800.M28 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001714319707536 |
|
Mazzola, Guerino
|
||
| Basel ; Boston : Birkhauser Verlag, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||