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 | ||
| ||
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 | ||
| ||
ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel 1974 / edited G. H. Muller, A. Oberschelp, K. Potthoff
| ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel 1974 / edited G. H. Muller, A. Oberschelp, K. Potthoff |
| Autore | International summer institute and logic colloquium : <1974 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1975 |
| Descrizione fisica | IV, 651 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Logica simbolica -- Congressi
Logica matematica -- Congressi Insiemi -- Teoria -- Congressi |
| ISBN | 3-540-07534-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014688 |
|
International summer institute and logic colloquium : <1974
|
||
| Berlin [etc.] : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Logic and algebra : [papers based on The International Conference on Logic and Algebra, held in Pontignano (Siena), April 26-30, 1994, in honor of the late Italian mathematician, Roberto Magari] / edited by Aldo Ursini, Paolo Aglianò
| Logic and algebra : [papers based on The International Conference on Logic and Algebra, held in Pontignano (Siena), April 26-30, 1994, in honor of the late Italian mathematician, Roberto Magari] / edited by Aldo Ursini, Paolo Aglianò |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1996 |
| Descrizione fisica | XV, 702 p. ; 26 cm. |
| Disciplina | 511.324 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto topico | Logica matematica -- Congressi |
| ISBN | 0-8247-9606-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015846 |
| New York [etc.] : Marcel Dekker, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
