Vai al contenuto principale della pagina

Duality and definability in first order logic / Michael Makkai



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Makkai, Michael Visualizza persona
Titolo: Duality and definability in first order logic / Michael Makkai Visualizza cluster
Pubblicazione: 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]
Titolo autorizzato: Duality and definability in first order logic  Visualizza cluster
ISBN: 08-218-2565-8
8-0-8218-2565-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: SUN0053851
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico /sebina/repository/catalogazione/documenti/Makkai - Duality and Definability in First Order Logic.pdf
Opac: Controlla la disponibilità qui