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.
Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré
| Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1989 |
| Descrizione fisica | viii, 176 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Paré, Robertauthor |
| Altri autori (Enti) | American Mathematical Society |
| Collana | Contemporary mathematics, 0271-4132 ; 104 |
| Soggetto topico |
Categories
Model theory Toposes |
| ISBN | 082185111X |
| Classificazione |
AMS 03G30
LC QA9.7.M35 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000643659707536 |
Makkai, Michael
|
||
| Providence, R.I. : American Mathematical Society, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Fasci, logica e topoi / F. Borceux
| Fasci, logica e topoi / F. Borceux |
| Autore | Borceux, Francis |
| Pubbl/distr/stampa | Bologna : Pitagora, 1989 |
| Descrizione fisica | vii, 299 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Quaderni dell'Unione Matematica Italiana ; 34 |
| Soggetto topico |
Categorical logic
Topoi |
| ISBN | 8837104863 |
| Classificazione | AMS 03G30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000885959707536 |
|
Borceux, Francis
|
||
| Bologna : Pitagora, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Topoi, the categorial analysis of logic / Robert Goldblatt
| Topoi, the categorial analysis of logic / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1979 |
| Descrizione fisica | xv, 486 p. : ill. ; 23 cm. |
| Disciplina | 512.55 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 98 |
| Soggetto topico | Toposes |
| ISBN | 0444852077 |
| Classificazione | AMS 03G30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001447969707536 |
|
Goldblatt, Robert
|
||
| Amsterdam : North-Holland, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Topos theory / P. T. Johnstone
| 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 | ||
| ||