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.
An Introduction to Modal Logic : the "Lemmon Notes" / by E.J. Lemmon ; in collaboration with Dana Scott ; edited by Krister Segerberg
| An Introduction to Modal Logic : the "Lemmon Notes" / by E.J. Lemmon ; in collaboration with Dana Scott ; edited by Krister Segerberg |
| Autore | Lemmon, Edward John |
| Pubbl/distr/stampa | Oxford : Blackwell, 1977 |
| Disciplina | 160 |
| Collana | American philosophical quarterly, Monograph series |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-631-11550-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001024660403321 |
Lemmon, Edward John
|
||
| Oxford : Blackwell, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott
| Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott |
| Autore | Fourman, Michael |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1979 |
| Descrizione fisica | xiv, 779 p. : ill. ; 25 cm. |
| Disciplina | 514.224 |
| Altri autori (Persone) |
Mulvey, Christopher J.
Scott, Dana S. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 753 |
| Soggetto topico |
Category theory - Congresses
Sheaf theory - Congresses |
| ISBN | 3540095640 |
| Classificazione |
AMS 18-06
AMS 18-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000689139707536 |
|
Fourman, Michael
|
||
| Berlin : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott
| Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xiv, 779 p. : ill. ; 24 cm |
| Soggetto topico |
18B25 - Topoi [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 55N30 - Sheaf cohomology in algebraic topology [MSC 2020] 14Fxx - (Co)homology theory in algebraic geometry [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] |
| Soggetto non controllato |
Algebra
Applications Calculus Finite Geometry Identity Manifolds Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261093 |
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott
| Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xiv, 779 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 14Fxx - (Co)homology theory in algebraic geometry [MSC 2020] 18B25 - Topoi [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 55N30 - Sheaf cohomology in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Algebra
Applications Calculus Finite Geometry Identity Manifolds Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261093 |
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiomatic set theory : proc. symp. in Pure math. of AMS held at Univ. California, Los Angeles, July 10 - August 5, 1967 / eds. Dana S. Scott, Thomas J. Jech
| Axiomatic set theory : proc. symp. in Pure math. of AMS held at Univ. California, Los Angeles, July 10 - August 5, 1967 / eds. Dana S. Scott, Thomas J. Jech |
| Autore | Jech, Thomas J. |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, 1971-1974 |
| Descrizione fisica | 2 pt. ; 26 cm. |
| Disciplina | 511.322 |
| Altri autori (Persone) | Scott, Dana S. |
| Collana | Proceedings of symposia in pure mathematics, 0082-0717 ; 13, pt. 1-2 |
| Soggetto topico | Axiomatic set theory - Congresses |
| ISBN |
0821802453 (Pt.1)
0821802461 (Pt.2) |
| Classificazione |
AMS 03-06
AMS 04-06 AMS 04-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000710319707536 |
|
Jech, Thomas J.
|
||
| Providence, R. I. : American Mathematical Society, 1971-1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg
| Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg |
| Autore | Elgot, Calvin C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | xxiv, 460 p. : ill. ; 24 cm |
| Soggetto topico |
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020]
62-XX - Statistics [MSC 2020] 01A65 - Contemporary [MSC 2020] 62M07 - Non-Markovian processes: hypothesis testing [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithms Automata Computer Science Equations Programming programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268538 |
|
Elgot, Calvin C.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg
| Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg |
| Autore | Elgot, Calvin C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | xxiv, 460 p. : ill. ; 24 cm |
| Soggetto topico |
01A65 - Contemporary [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 62-XX - Statistics [MSC 2020] 62M07 - Non-Markovian processes: hypothesis testing [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithms Automata Computer Science Equations Programming programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268538 |
|
Elgot, Calvin C.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
| Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott |
| Autore | Muller, Gert H. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1978 |
| Descrizione fisica | xii, 476 p. ; 25 cm |
| Disciplina |
510.8
511.3 |
| Altri autori (Persone) | Scott, Dana S. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 669 |
| Soggetto topico | Set theory - Congresses |
| ISBN | 3540089268 |
| Classificazione | AMS 04-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000978869707536 |
|
Muller, Gert H.
|
||
| Berlin : Springer-Verlag, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
| Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1978 |
| Descrizione fisica | xii, 476 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato | Teoria degli insiemi |
| ISBN | 3-540-08926-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001022880403321 |
| Berlin [etc.] : Springer-Verlag, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G.H. Muller, D.S. Scott
| Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G.H. Muller, D.S. Scott |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1978 |
| Descrizione fisica | XII, 476 p. ; 25 cm. |
| Disciplina | 511.322 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Insiemi - Teoria - Congressi |
| ISBN | 3-540-08926-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014592 |
| Berlin [etc.] : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
