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.
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak
| 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak |
| Autore | International conference on automated deduction <7. ; 1984 ; Napa, California> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 508 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Shostak, Robert E. |
| Soggetto topico |
Automatic theorem proving - Congresses
Symbolic logic - Congresses |
| ISBN | 3540960228 |
| Classificazione |
AMS 68-06
AMS 68-XX CR I.1 CR J.2 QA76.9.A96158 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001341109707536 |
International conference on automated deduction <7. ; 1984 ; Napa, California>
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | viii, 307 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Crossley, John N. |
| Altri autori (Enti) | Australian Mathematical Society |
| Collana | Lecture notes in mathematics, 0075-8434 ; 450 |
| Soggetto topico |
Algebra - Congresses
Commutative rings - Congresses Group theory - Congresses Symbolic logic - Congresses |
| ISBN | 3540071520 |
| Classificazione |
AMS 03-06
LC QA3.L28 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000652529707536 |
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Aspects of mathematical logic : III ciclo Varenna, 9-17 Settembre 1968 / coordinatore E. Casari
| Aspects of mathematical logic : III ciclo Varenna, 9-17 Settembre 1968 / coordinatore E. Casari |
| Autore | Casari, Ettore |
| Pubbl/distr/stampa | Roma : Edizioni Cremonese, 1969 |
| Descrizione fisica | 285 p. ; 28 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Symbolic logic - Congresses |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000700239707536 |
|
Casari, Ettore
|
||
| Roma : Edizioni Cremonese, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | Cambridge Summer school in mathematical logic <1971 ; Cambridge> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | ix, 660 p. ; 26 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Mathias, A. R. D.
Rogers, Hartley |
| Collana | Lecture notes in mathematics, 0075-8434 ; 337 |
| Soggetto topico | Symbolic logic - Congresses |
| ISBN | 354005569X |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000730789707536 |
|
Cambridge Summer school in mathematical logic <1971 ; Cambridge>
|
||
| Berlin ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 ; London> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1972 |
| Descrizione fisica | vi, 351 p. ; 26 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Hodges, Wilfrid |
| Collana | Lecture notes in mathematics, 0075-8434 ; 255 |
| Soggetto topico | Symbolic logic - Congresses |
| ISBN | 3540057447 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000780339707536 |
|
Conference in mathematical logic <1970 ; London>
|
||
| Berlin ; New York : Springer-Verlag, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
| Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.] |
| Autore | Mostowski, Andrzej |
| Pubbl/distr/stampa | Amsterdam ; New York : North-Holland, 1979 - 2 v. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Kuratowski, Kazimierz |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 93 |
| Soggetto topico |
Collected works
Mostowski, Andrzej-bibliography Symbolic logic-collected works Symbolic logic - Congresses |
| ISBN |
044485102X (v. 1)
0444851038 (v. 2) |
| Classificazione |
AMS 03-XX
QA9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000904169707536 |
|
Mostowski, Andrzej
|
||
| Amsterdam ; New York : North-Holland, 1979 - 2 v. ; 23 cm | ||
| 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 | ||
| ||
