skip to content
Introduction to higher order categorical logic Preview this item
ClosePreview this item
Checking...

Introduction to higher order categorical logic

Author: Joachim Lambek; P J Scott
Publisher: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, ©1986.
Series: Cambridge studies in advanced mathematics, 7.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Joachim Lambek; P J Scott
ISBN: 0521246652 9780521246651 0521356539 9780521356534
OCLC Number: 11867655
Notes: Includes indexes.
Description: ix, 293 pages ; 24 cm.
Contents: Preface; Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories; Bibliography; Author index; Subject index.
Series Title: Cambridge studies in advanced mathematics, 7.
Responsibility: J. Lambek, P.J. Scott.
More information:

Reviews

Editorial reviews

Publisher Synopsis

'A readable and timely account of important results, most of which were not previously available in book form.' Bulletin of the London Mathematical Society "...important monograph...very clearly Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/11867655> # Introduction to higher order categorical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "11867655" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4443301#Place/cambridge_cambridgeshire> ; # Cambridge Cambridgeshire
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/grundlage> ; # Grundlage
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/wiskundige_logica> ; # Wiskundige logica
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategorientheorie> ; # Kategorientheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategoriteori> ; # Kategoriteori
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Thing/mathematics> ; # Mathematics
    schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
    schema:about <http://dewey.info/class/512.55/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/mathematik> ; # Mathematik
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/categorieen_wiskunde> ; # Categorieën (wiskunde)
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/categories_mathematiques> ; # Catégories (mathématiques)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/120314629> ; # P. J. Scott
    schema:copyrightYear "1986" ;
    schema:creator <http://viaf.org/viaf/5009549> ; # Joachim Lambek
    schema:datePublished "1986" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4443301> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4443301#Series/cambridge_studies_in_advanced_mathematics> ; # Cambridge studies in advanced mathematics ;
    schema:name "Introduction to higher order categorical logic"@en ;
    schema:productID "11867655" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11867655#PublicationEvent/cambridge_cambridgeshire_new_york_cambridge_university_press_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4443301#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://catdir.loc.gov/catdir/toc/cam031/85005941.html> ;
    schema:url <http://www.gbv.de/dms/hbz/toc/ht002762032.pdf> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1941002&custom_att_2=simple_viewer> ;
    schema:workExample <http://worldcat.org/isbn/9780521356534> ;
    schema:workExample <http://worldcat.org/isbn/9780521246651> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8539574> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11867655> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Place/cambridge_cambridgeshire> # Cambridge Cambridgeshire
    a schema:Place ;
    schema:name "Cambridge Cambridgeshire" ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Series/cambridge_studies_in_advanced_mathematics> # Cambridge studies in advanced mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/11867655> ; # Introduction to higher order categorical logic
    schema:name "Cambridge studies in advanced mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Topic/categorieen_wiskunde> # Categorieën (wiskunde)
    a schema:Intangible ;
    schema:name "Categorieën (wiskunde)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Topic/categories_mathematiques> # Catégories (mathématiques)
    a schema:Intangible ;
    schema:name "Catégories (mathématiques)"@en ;
    schema:name "Catégories (Mathématiques)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Topic/kategorientheorie> # Kategorientheorie
    a schema:Intangible ;
    schema:name "Kategorientheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
    schema:name "Wiskundige logica"@en ;
    .

<http://id.worldcat.org/fast/849000> # Categories (Mathematics)
    a schema:Intangible ;
    schema:name "Categories (Mathematics)"@en ;
    .

<http://viaf.org/viaf/120314629> # P. J. Scott
    a schema:Person ;
    schema:familyName "Scott" ;
    schema:givenName "P. J." ;
    schema:name "P. J. Scott" ;
    .

<http://viaf.org/viaf/5009549> # Joachim Lambek
    a schema:Person ;
    schema:familyName "Lambek" ;
    schema:givenName "Joachim" ;
    schema:name "Joachim Lambek" ;
    .

<http://worldcat.org/isbn/9780521246651>
    a schema:ProductModel ;
    schema:isbn "0521246652" ;
    schema:isbn "9780521246651" ;
    .

<http://worldcat.org/isbn/9780521356534>
    a schema:ProductModel ;
    schema:isbn "0521356539" ;
    schema:isbn "9780521356534" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.