Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
Home
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes
Info
Relazione altra pubblicazione
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Autore:
Makkai, Michael
Titolo:
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes
Pubblicazione:
Berlin, : Springer, 1977
Descrizione fisica:
ii, 318 p. ; 24 cm
Soggetto topico:
03C75 - Other infinitary logic [MSC 2020]
03Cxx - Model theory [MSC 2020]
03F55 - Intuitionistic mathematics [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020]
14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020]
18A15 - Foundations, relations to logic and deductive systems [MSC 2020]
18F10 - Grothendieck topologies and Grothendieck topoi [MSC 2020]
18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]
Soggetto non controllato:
Category
Category Theory
Mathematical logic
Morphism
Topos
Altri autori:
Reyes, Gonzalo E.
Titolo autorizzato:
First order categorical logic
Formato:
Materiale a stampa
Livello bibliografico
Monografia
Lingua di pubblicazione:
Inglese
Record Nr.:
VAN00260367
Lo trovi qui:
Univ. Vanvitelli
Localizzazioni e accesso elettronico
https://doi.org/10.1007/BFb0066201
Opac:
Controlla la disponibilità qui
Fa parte di:
Lecture notes in mathematics Berlin [etc.] . -Springer ; 611