First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /

First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /

Show other versions (1)

Grothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to “first order categorical logic”.

Saved in:
Bibliographic Details
Main Authors: Makkai, Michael. author., Reyes, Gonzalo E. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977
Subjects:Mathematics., Mathematical logic., Mathematical Logic and Foundations.,
Online Access:http://dx.doi.org/10.1007/BFb0066201
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:209220
record_format koha
spelling KOHA-OAI-TEST:2092202018-07-30T23:40:52ZFirst Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Makkai, Michael. author. Reyes, Gonzalo E. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1977.engGrothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to “first order categorical logic”.Mathematics.Mathematical logic.Mathematics.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/BFb0066201URN:ISBN:9783540371007
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Mathematics.
Mathematical logic.
Mathematics.
Mathematical Logic and Foundations.
Mathematics.
Mathematical logic.
Mathematics.
Mathematical Logic and Foundations.
spellingShingle Mathematics.
Mathematical logic.
Mathematics.
Mathematical Logic and Foundations.
Mathematics.
Mathematical logic.
Mathematics.
Mathematical Logic and Foundations.
Makkai, Michael. author.
Reyes, Gonzalo E. author.
SpringerLink (Online service)
First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /
description Grothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to “first order categorical logic”.
format Texto
topic_facet Mathematics.
Mathematical logic.
Mathematics.
Mathematical Logic and Foundations.
author Makkai, Michael. author.
Reyes, Gonzalo E. author.
SpringerLink (Online service)
author_facet Makkai, Michael. author.
Reyes, Gonzalo E. author.
SpringerLink (Online service)
author_sort Makkai, Michael. author.
title First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /
title_short First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /
title_full First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /
title_fullStr First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /
title_full_unstemmed First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories /
title_sort first order categorical logic [electronic resource] : model-theoretical methods in the theory of topoi and related categories /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
publishDate 1977
url http://dx.doi.org/10.1007/BFb0066201
work_keys_str_mv AT makkaimichaelauthor firstordercategoricallogicelectronicresourcemodeltheoreticalmethodsinthetheoryoftopoiandrelatedcategories
AT reyesgonzaloeauthor firstordercategoricallogicelectronicresourcemodeltheoreticalmethodsinthetheoryoftopoiandrelatedcategories
AT springerlinkonlineservice firstordercategoricallogicelectronicresourcemodeltheoreticalmethodsinthetheoryoftopoiandrelatedcategories
_version_ 1756268629570093056

Similar Items