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.
First order categorial logic model theoretical methods in the theory of Topoi and related categories. / by MAKKAI AND REYES.
| First order categorial logic model theoretical methods in the theory of Topoi and related categories. / by MAKKAI AND REYES. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1977 |
| Collana | Lecture Notes in Mathematics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001180430403321 |
| Berlin [etc.] : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes
| First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo E. Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1977 |
| Descrizione fisica | VIII, 301 p. ; 25 cm. |
| Disciplina | 512.55 |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Teoria dei modelli
Categoria (matematica) |
| ISBN | 3-540-08439-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000013253 |
Makkai, Michael
|
||
| Berlin [etc.] : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes
| First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | ii, 318 p. ; 24 cm |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Soggetto topico |
03G25 - Other algebras related to logic [MSC 2020]
14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020] 03Cxx - Model theory [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 18F10 - Grothendieck topologies and Grothendieck topoi [MSC 2020] 18A15 - Foundations, relations to logic and deductive systems [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03C75 - Other infinitary logic [MSC 2020] |
| Soggetto non controllato |
Category
Category Theory Mathematical logic Morphism Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260367 |
|
Makkai, Michael
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First order categorical logic [e-book] : model-theoretical methods in the theory of Topoi and related categories / by Michael Makkai, Gonzalo E. Reyes
| First order categorical logic [e-book] : model-theoretical methods in the theory of Topoi and related categories / by Michael Makkai, Gonzalo E. Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin : Springer, 1977 |
| Descrizione fisica | 1 online resource (301 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 611 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540371007 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002165419707536 |
|
Makkai, Michael
|
||
| Berlin : Springer, 1977 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes
| First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1977 |
| Descrizione fisica | viii, 301 p. : ill. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 611 |
| Soggetto topico |
Categories
Model theory Toposes |
| ISBN | 3540084398 |
| Classificazione | AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000895269707536 |
|
Makkai, Michael
|
||
| Berlin ; New York : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The Logical foundations of Cognition / edited by John Macnamara and Gonzalo E.Reyes
| The Logical foundations of Cognition / edited by John Macnamara and Gonzalo E.Reyes |
| Pubbl/distr/stampa | New YorkOxford : Oxford University Press, 1994 |
| Descrizione fisica | 368 p. : ill. ; 23 cm |
| Altri autori (Persone) |
Reyes, Gonzalo E.
Macnamara, John Theodore |
| Collana | Vancouver Studies in Cognitive Science ; 4. |
| Soggetto topico |
Intelligenza artificiale
Linguaggio |
| ISBN | 0195092163 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002078889707536 |
| New YorkOxford : Oxford University Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||