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.
Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker
| Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker |
| Autore | Karp, Carol |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | 206 p. : port. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Kueker, David W. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 492 |
| Soggetto topico |
Infinitary languages-addresses, essays, lectures
Karp, Carol, 1926-1972 Mathematical logic - Congresses Model theory-addresses, essays, lectures |
| ISBN | 3540074198 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000994489707536 |
Karp, Carol
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Letture di logica : fondamenti della matematica, linee di ricerca attuali / a cura di Corrado Mangione e Miriam Franchella
| Letture di logica : fondamenti della matematica, linee di ricerca attuali / a cura di Corrado Mangione e Miriam Franchella |
| Autore | Mangione, Corrado |
| Pubbl/distr/stampa | Milano : LED Ediz. Univ. di Lettere Economia Diritto ; C.E.A. Casa editrice Ambrosiana di Zanichelli, c1993 |
| Descrizione fisica | 456 p. : ill. ; 22 cm. |
| Disciplina | 511.6 |
| Altri autori (Persone) | Franchella, Miriam |
| Collana | Esedra Collana di letture |
| Soggetto topico | Mathematical logic - Congresses |
| ISBN | 8879160257 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001073359707536 |
|
Mangione, Corrado
|
||
| Milano : LED Ediz. Univ. di Lettere Economia Diritto ; C.E.A. Casa editrice Ambrosiana di Zanichelli, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor
| Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor |
| Autore | AMS-IMS-SIAM Joint Summer research conference in the mathematical sciences on applications of mathematical logic to finite combinatorics <1985 ; Humboldt State University> |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1987 |
| Descrizione fisica | xi, 394 p. : ill. ; 26 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Simpson, Stephen G.author |
| Altri autori (Enti) |
Institute of mathematical statistics
SIAM |
| Collana | Contemporary mathematics, 0271-4132 ; 65 |
| Soggetto topico |
Combinatorial analysis - Congresses
Mathematical logic - Congresses Symbolic logic - Congresses |
| ISBN | 0821850520 |
| Classificazione |
AMS 03-06
lc QA9.A1A47 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001093889707536 |
Logic colloquium, '73 : proceedings of the Logic colloquium Bristol, July 1973 / edited by H. E. Rose and J. C. Shepherdson
| Logic colloquium, '73 : proceedings of the Logic colloquium Bristol, July 1973 / edited by H. E. Rose and J. C. Shepherdson |
| Autore | Rose, H. E. |
| Pubbl/distr/stampa | Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975 |
| Descrizione fisica | viii, 513 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Shepherdson, J. C. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 80 |
| Soggetto topico |
Mathematical logic - Congresses
Symbolic logic - Congresses |
| ISBN | 0720422000 |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001094569707536 |
|
Rose, H. E.
|
||
| Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic colloquium, '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Macintyre, Angus, Leszek Pacholski, Jeff Paris
| Logic colloquium, '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Macintyre, Angus, Leszek Pacholski, Jeff Paris |
| Autore | Macintyre, Angus |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1978 |
| Descrizione fisica | x, 311 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Pacholski, Leszek
Paris, Jeff |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 96 |
| Soggetto topico |
Mathematical logic - Congresses
Symbolic logic - Congresses |
| ISBN | 044485178X |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001094649707536 |
|
Macintyre, Angus
|
||
| Amsterdam : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic colloquium, '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / edited by J. Stern
| Logic colloquium, '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / edited by J. Stern |
| Autore | Herbrand, Jacques |
| Pubbl/distr/stampa | Amsterdam ; New York ; Oxford : North-Holland, 1982 |
| Descrizione fisica | xi, 384 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Stern, Jacques |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 107 |
| Soggetto topico |
Mathematical logic - Congresses
Symbolic logic - Congresses |
| ISBN | 0444864172 |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001094789707536 |
|
Herbrand, Jacques
|
||
| Amsterdam ; New York ; Oxford : North-Holland, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
La logica del tempo / a cura di Claudio Pizzi
| La logica del tempo / a cura di Claudio Pizzi |
| Autore | Pizzi, Claudio |
| Pubbl/distr/stampa | Torino : Boringhieri, 1974 |
| Descrizione fisica | 410 p. ; 22 cm. |
| Disciplina | 511.3 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | Mathematical logic - Congresses |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001095729707536 |
|
Pizzi, Claudio
|
||
| Torino : Boringhieri, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa
| Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa |
| Autore | Arruda, Ayda I. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1980 |
| Descrizione fisica | xii, 392 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Chuaqui, Rolando Basim
Costa, Newton C. A. : da |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 99 |
| Soggetto topico |
Mathematical logic - Congresses
Symbolic logic - Congresses |
| ISBN | 0444854029 |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001112699707536 |
|
Arruda, Ayda I.
|
||
| Amsterdam : North-Holland, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Studies in constructive mathematics and mathematical logic / edited by A. O. Slisenko
| Studies in constructive mathematics and mathematical logic / edited by A. O. Slisenko |
| Autore | Slisenko, A. O. |
| Pubbl/distr/stampa | New York : Consultants Bureau, 1969 |
| Descrizione fisica | v. ; 28 cm. |
| Disciplina | 511.3 |
| Collana | Seminars in mathematics ; 4 |
| Soggetto topico |
Constructive mathematics
Mathematical logic - Congresses |
| Classificazione |
AMS 03-06
AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001388879707536 |
|
Slisenko, A. O.
|
||
| New York : Consultants Bureau, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Word problems : decision problems and the Burnside problem in group theory / edited by W. W. Boone, F. B. Cannonito [and] R. C. Lyndon
| Word problems : decision problems and the Burnside problem in group theory / edited by W. W. Boone, F. B. Cannonito [and] R. C. Lyndon |
| Autore | Boone, William W. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1973 |
| Descrizione fisica | xii, 646 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Cannonito, F. B.
Lyndon, Roger C. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 71 |
| Soggetto topico |
Burnside problem
Godel's theorem - Congresses Group theory - Congresses Mathematical logic - Congresses Word problems |
| ISBN | 072042271X |
| Classificazione |
AMS 03-06
AMS 20-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001487699707536 |
|
Boone, William W.
|
||
| Amsterdam : North-Holland, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
