Applications of categories in computer science : Proceedings of the LMS Symposium, Durham 1991 / Edited by M. P. Fourman, P. T. Johnstone, A. M. Pittis |
Pubbl/distr/stampa | Cambridge (NY) : Cambridge University Press, c1992 |
Descrizione fisica | vii, 339 p. ; 24 cm |
Disciplina | 005.131 |
Collana | London Mathematical Society lecture note series |
Soggetto non controllato |
Computer scienceCongressi
Teoria della categoriaCongressi |
ISBN | 0-521-42726-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001329660403321 |
Cambridge (NY) : Cambridge University Press, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Indexed categories and their applications / P. T. Johnstone ... [et al.] ; edited by P. T. Johnstone and R. Paré |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1978 |
Descrizione fisica | iv, 260 p. ; 25 cm |
Disciplina | 512.55 |
Altri autori (Persone) | Paré, Robert |
Collana | Lecture notes in mathematics, 0075-8434 ; 661 |
Soggetto topico |
Algebra-addresses, essays, lectures
Categories - Addresses, essays, lectures Category theory Toposes |
ISBN | 3540089144 |
Classificazione |
AMS 18-02
AMS 18-XX |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000992929707536 |
Johnstone, Peter T. | ||
Berlin : Springer-Verlag, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Indexed categories and their applications [e-book] / by Peter T. Johnstone ... [et al.] |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | Berlin : Springer, 1978 |
Descrizione fisica | 1 online resource (x, 266 p.) |
Disciplina | 510 |
Collana | Lecture Notes in Mathematics, 0075-8434 ; 661 |
Soggetto topico | Mathematics |
ISBN | 9783540357629 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002149809707536 |
Johnstone, Peter T. | ||
Berlin : Springer, 1978 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
Notes on logic and set theory / by Johnstone |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | Cambridge [etc.] : New York, New Rochelle : Cambridge univ |
Collana | Cambridge Math. Textbooks |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001255030403321 |
Johnstone, Peter T. | ||
Cambridge [etc.] : New York, New Rochelle : Cambridge univ | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Notes on logic and set theory / P. T. Johnstone |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1987 |
Descrizione fisica | x, 110 p. ; 22 cm. |
Disciplina | 511.3 |
Soggetto topico |
Mathematical logic
Set theory Symbolic logic |
ISBN | 0521336929 |
Classificazione |
AMS 03-XX
AMS 03E QA9.J64 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001183239707536 |
Johnstone, Peter T. | ||
Cambridge : Cambridge University Press, 1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Stone Spaces / by Johnstone |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | Cambridge [etc.] : Cambridge University Press, 19 |
Collana | Cambridge studies in advanced mathematics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001255050403321 |
Johnstone, Peter T. | ||
Cambridge [etc.] : Cambridge University Press, 19 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Stone spaces / Peter T. Johnstone |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1982 |
Descrizione fisica | xxi, 370 p. ; 23 cm. |
Disciplina | 514.3 |
Collana | Cambridge studies in advanced mathematics ; 3 |
Soggetto topico |
Maps
Representations theory |
ISBN | 0521238935 |
Classificazione |
AMS 06B15
AMS 54C QA611 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001381749707536 |
Johnstone, Peter T. | ||
Cambridge : Cambridge University Press, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Topos theory / P. T. Johnstone |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | London [etc.] : Academic Press, 1977 |
Descrizione fisica | xxiii, 367 p. : ill. ; 24 cm |
Disciplina | 512.55 |
Collana | L.M.S. Monographs |
Soggetto non controllato | Teoria dei topoi |
ISBN | 0-12-387850-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001255040403321 |
Johnstone, Peter T. | ||
London [etc.] : Academic Press, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Topos theory / P. T. Johnstone |
Autore | Johnstone, Peter T. |
Pubbl/distr/stampa | London : Academic Press, 1977 |
Descrizione fisica | xxiii, 367 p. ; 23 cm. |
Disciplina | 512.55 |
Collana | L.M.S. Monographs ; 10 |
Soggetto topico |
Categorical logic
Topoi |
ISBN | 0123878500 |
Classificazione |
AMS 03G30
AMS 18B25 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001456229707536 |
Johnstone, Peter T. | ||
London : Academic Press, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|