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, mathématicien); P J Scott
Publisher: Cambridge ; New York (N.Y.) ; Melbourne : Cambridge University Press, ©1986.
Series: Cambridge studies in advanced mathematics, 7.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Joachim Lambek, mathématicien); P J Scott
ISBN: 0521246652 9780521246651
OCLC Number: 490806970
Notes: Contient des exercices.
Description: 1 v. (ix-293 p.) : figure ; 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 ...

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

 
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/490806970> # Introduction to higher order categorical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "490806970" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4443301#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4443301#Place/new_york_n_y> ; # New York (N.Y.)
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4443301#Place/melbourne> ; # Melbourne
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://dewey.info/class/512.55/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/categories_mathematiques> ; # Catégories (mathématiques)
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/topos> ; # topos
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/categorie> ; # catégorie
    schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/lambda_calcul> ; # lambda calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Thing/mathematics> ; # Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/theorie_categorie> ; # théorie catégorie
    schema:about <http://experiment.worldcat.org/entity/work/data/4443301#Topic/theorie_type> ; # théorie type
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/120314629> ; # P. J. Scott
    schema:copyrightYear "1986" ;
    schema:creator <http://viaf.org/viaf/5009549> ; # mathématicien) Joachim Lambek
    schema:datePublished "1986" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4443301> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0950-6330> ; # Cambridge studies in advanced mathematics ;
    schema:name "Introduction to higher order categorical logic" ;
    schema:productID "490806970" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/490806970#PublicationEvent/cambridge_new_york_n_y_melbourne_cambridge_university_press_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4443301#Agent/cambridge_university_press> ; # Cambridge University Press
    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/490806970> ;
    .


Related Entities

<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/new_york_n_y> # New York (N.Y.)
    a schema:Place ;
    schema:name "New York (N.Y.)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4443301#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/4443301#Topic/theorie_categorie> # théorie catégorie
    a schema:Intangible ;
    schema:name "théorie catégorie" ;
    .

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

<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> # mathématicien) Joachim Lambek
    a schema:Person ;
    schema:birthDate "19.." ;
    schema:deathDate ";" ;
    schema:familyName "Lambek" ;
    schema:givenName "Joachim" ;
    schema:name "mathématicien) Joachim Lambek" ;
    .

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

<http://worldcat.org/issn/0950-6330> # Cambridge studies in advanced mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/490806970> ; # Introduction to higher order categorical logic
    schema:issn "0950-6330" ;
    schema:name "Cambridge studies in advanced mathematics ;" ;
    schema:name "Cambridge studies in advanced mathematics," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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