Linked Data Explorerhttp://worldcat.org/entity/work/id/4443301
Introduction to higher order categorical logic
This work attempts to reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. It contains an introduction to category theory and a set of exercises which accompanies each section.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/stufe_n
- http://id.worldcat.org/fast/849000
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/mathematik
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categoria_matematica
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategorientheorie
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/logique_symbolique_et_mathematique
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/logica_matematica
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categories_mathematiques
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categorieen_wiskunde
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/mathematische_logik
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/logique_mathematique
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/theorie_categorie
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategoriteori
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categories_matematica
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/grundlage
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/lambda_calcul
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categorietheorie_homologe_algebra
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategoriak_matematikai_logika
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categorie
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/logik
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/logica_simbolica_y_matematica
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/wiskundige_logica
- http://id.loc.gov/authorities/subjects/sh85020992
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategorie_mathematik
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/topos
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categories_mathematics
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategorie_matematyka
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/theorie_type
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/mathematische_logica
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/categorias_matematicas
- http://experiment.worldcat.org/entity/work/data/4443301#Topic/matematikai_logika_kategoriak
http://schema.org/alternateName
- "Higher order categorical logic"
http://schema.org/description
- "This work attempts to reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. It contains an introduction to category theory and a set of exercises which accompanies each section."@en
http://schema.org/name
- "Introduction to higher order categorical logic"
- "Introduction to higher order categorical logic"@en
- "Introduction to higher order categorical logic. (Repr.)"
http://schema.org/workExample
- http://www.worldcat.org/oclc/257039364
- http://www.worldcat.org/oclc/263115461
- http://www.worldcat.org/oclc/781654457
- http://www.worldcat.org/oclc/756947817
- http://www.worldcat.org/oclc/750776297
- http://www.worldcat.org/oclc/634410951
- http://www.worldcat.org/oclc/11867655
- http://www.worldcat.org/oclc/848500901
- http://www.worldcat.org/oclc/421748077
- http://www.worldcat.org/oclc/902038991
- http://www.worldcat.org/oclc/789278884
- http://www.worldcat.org/oclc/471519945
- http://www.worldcat.org/oclc/804044709
- http://www.worldcat.org/oclc/502469902
- http://www.worldcat.org/oclc/755162404
- http://www.worldcat.org/oclc/802810247
- http://www.worldcat.org/oclc/906887356
- http://www.worldcat.org/oclc/605937710
- http://www.worldcat.org/oclc/241603711
- http://www.worldcat.org/oclc/856688461
- http://www.worldcat.org/oclc/468265472
- http://www.worldcat.org/oclc/18230304
- http://www.worldcat.org/oclc/490806970
- http://www.worldcat.org/oclc/797301853
- http://www.worldcat.org/oclc/257119155
- http://www.worldcat.org/oclc/639666420
- http://www.worldcat.org/oclc/848733730