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.
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
| Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley |
| Autore | Summer Research Insitute of the Australian Mathematical Society : <14. : ; 1974 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1975 |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Logica matematica - Congressi
Logica simbolica - Congressi Algebra - Congressi Gruppi (Matematica) - Teoria - Congressi Anelli (matematica) - Congressi |
| ISBN | 3-540-07152-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014759 |
Summer Research Insitute of the Australian Mathematical Society : <14. : ; 1974
|
||
| Berlin [etc.] : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Algebraic and proof-theoretic aspects of non-classical logics : Papers in honor of Daniele Mundici on the occasion of his 60th birthday / Stefano Aguzzoli...[et al.] (Eds.)
| Algebraic and proof-theoretic aspects of non-classical logics : Papers in honor of Daniele Mundici on the occasion of his 60th birthday / Stefano Aguzzoli...[et al.] (Eds.) |
| Autore | AGUZZOLI, Stefano |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | VIII, 308 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana |
Lecture notes in computer science
Lecture notes in artificial intelligence, Festschrift |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 978-3-540-75938-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003092010203316 |
|
AGUZZOLI, Stefano
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Atti del congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS
| Atti del congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS |
| Autore | Congresso Nuovi problemi della logica e della filosofia della scienza <1990 ; Viareggio> |
| Pubbl/distr/stampa | Bologna : CLUEB, [1991] |
| Descrizione fisica | 2 v. ; 24 cm. |
| Altri autori (Persone) |
Corsi, Giovanna
Costantini, Domenico Galavotti, Maria Carla Sambin, Giovanni |
| Soggetto topico |
Epistemologia - Congressi
Logica matematica - Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001892029707536 |
|
Congresso Nuovi problemi della logica e della filosofia della scienza <1990 ; Viareggio>
|
||
| Bologna : CLUEB, [1991] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee : Cesena, 7-10 gennaio 1987 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS
| Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee : Cesena, 7-10 gennaio 1987 / organizzato dalla Società italiana di logica e filosofia delle scienze, SILFS |
| Autore | Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee <1987 ; Cesena> |
| Pubbl/distr/stampa | Bologna : CLUEB, [1988] |
| Descrizione fisica | 2 v. ; 24 cm. |
| Altri autori (Persone) |
Cellucci, Carlo
Dalla Chiara, Maria Luisa Galavotti, Maria Carla Sambin, Giovanni |
| Soggetto topico |
Logica matematica - Congressi
Scienze e filosofia - Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001892099707536 |
|
Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee <1987 ; Cesena>
|
||
| Bologna : CLUEB, [1988] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77 / edited by A.S. Kechris, Y.N. Moschovakis
| Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77 / edited by A.S. Kechris, Y.N. Moschovakis |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1978 |
| Descrizione fisica | 282 p. ; 25 cm. |
| Disciplina | 511.322 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Logica matematica - Congressi
Insiemi - Teoria - Congressi |
| ISBN | 3-540-09086-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014609 |
| Berlin [etc.] : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
| Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
| Autore | Summer school in mathematical logic : <1971 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1973 |
| Descrizione fisica | IX, 660 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Logica simbolica - Congressi
Logica matematica - Congressi |
| ISBN | 3-540-05569-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
fre |
| Record Nr. | UNIBAS-000014807 |
|
Summer school in mathematical logic : <1971
|
||
| Berlin [etc.] : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin, ed.
| Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin, ed. |
| Autore | US-Israel workshop on model theory in mathematical logic : <1985 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1987 |
| Descrizione fisica | 500 p. ; 25 cm. |
| Disciplina | 511.8 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Modelli matematici - Congressi
Logica matematica - Congressi |
| ISBN | 3-540-18674-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014185 |
|
US-Israel workshop on model theory in mathematical logic : <1985
|
||
| Berlin [etc.] : Springer, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Conference in mathematical logic - London '70 / edited by Wilfrid Hodges
| Conference in mathematical logic - London '70 / edited by Wilfrid Hodges |
| Autore | Conference in mathematical logic : <1970 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1972 |
| Descrizione fisica | VI, 351 p. ; 26 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 3-540-05744-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014814 |
|
Conference in mathematical logic : <1970
|
||
| Berlin [etc.] : Springer, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
| Constructive mathematics : proceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1981 |
| Descrizione fisica | VI, 347 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 3-540-10850-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014406 |
| Berlin [etc.] : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Formal language theory : Perspecrives and open problems / Edited by Ronald V. Book
| Formal language theory : Perspecrives and open problems / Edited by Ronald V. Book |
| Pubbl/distr/stampa | New York : Academic Press, 1980 |
| Descrizione fisica | XIII, 454 p. : tab. ; 23 cm |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 0-12-115350-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Atti di una conferenza tenutasi dal 10 al 14 dicembre 1979 a Santa Barbara, California |
| Record Nr. | UNISA-990003222000203316 |
| New York : Academic Press, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
