top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Duality and definability in first order logic / Michael Makkai
Duality and definability in first order logic / Michael Makkai
Autore Makkai, Michael
Pubbl/distr/stampa Providence, : American mathematical society, 1993
Descrizione fisica X, 106 p. : ill. ; 26 cm.
Soggetto topico 03G30 - Categorical logic, topoi [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020]
03C40 - Interpolation, preservation, definability [MSC 2020]
18F60 - Categories of topological spaces and continuous mappings [MSC 2020]
18N10 - 2-categories, bicategories, double categories [MSC 2020]
ISBN 08-218-2565-8
8-0-8218-2565-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053851
Makkai, Michael  
Providence, : American mathematical society, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Duality and definability in first order logic / Michael Makkai
Duality and definability in first order logic / Michael Makkai
Autore Makkai, Michael
Pubbl/distr/stampa Providence, : American mathematical society, 1993
Descrizione fisica X, 106 p. : ill. ; 26 cm
Soggetto topico 03G30 - Categorical logic, topoi [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020]
03C40 - Interpolation, preservation, definability [MSC 2020]
18F60 - Categories of topological spaces and continuous mappings [MSC 2020]
18N10 - 2-categories, bicategories, double categories [MSC 2020]
ISBN 08-218-2565-8
978-08-218-2565-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053851
Makkai, Michael  
Providence, : American mathematical society, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui