HOME > Detail View

Detail View

Introduction to higher order categorical logic 1st paperback ed. (with corrections)

Introduction to higher order categorical logic 1st paperback ed. (with corrections) (Loan 5 times)

Material type
단행본
Personal Author
Lambek, Joachim. Scott, P. J.
Title Statement
Introduction to higher order categorical logic / J. Lambek, P.J. Scott.
판사항
1st paperback ed. (with corrections)
Publication, Distribution, etc
Cambridge [Cambridgeshire] ;   New York :   Cambridge University Press ,   c1986.  
Physical Medium
ix, 293 p. : Genealogical tables ; 23 cm.
Series Statement
Cambridge studies in advanced mathematics ; 7.
ISBN
0521246652 0521356539 (pbk.)
Bibliography, Etc. Note
Includes bibliographical references (p. [279]-288) and index.
Subject Added Entry-Topical Term
Categories (Mathematics).
000 01009camuu2200289 a 4500
001 000000903262
005 20070104090220
008 850308s1986 enkj b 001 0 eng
010 ▼a 85005941
020 ▼a 0521246652
020 ▼a 0521356539 (pbk.)
040 ▼a DLC ▼c DLC ▼d 244002 ▼d 211009
049 0 ▼l 452045491
050 0 0 ▼a QA169 ▼b .L28 1986
082 0 0 ▼a 512.62 ▼2 22
090 ▼a 512.62 ▼b L221i
100 1 ▼a Lambek, Joachim.
245 1 0 ▼a Introduction to higher order categorical logic / ▼c J. Lambek, P.J. Scott.
250 ▼a 1st paperback ed. (with corrections)
260 ▼a Cambridge [Cambridgeshire] ; ▼a New York : ▼b Cambridge University Press , ▼c c1986.
300 ▼a ix, 293 p. : ▼b Genealogical tables ; ▼c 23 cm.
440 0 ▼a Cambridge studies in advanced mathematics ; ▼v 7.
504 ▼a Includes bibliographical references (p. [279]-288) and index.
650 0 ▼a Categories (Mathematics).
700 1 ▼a Scott, P. J.
945 ▼a KINS

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 512.62 L221i Accession No. 121136276 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Sejong Academic Information Center/Science & Technology/ Call Number 512.62 L221i Accession No. 452045491 Availability Available Due Date Make a Reservation Service M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 512.62 L221i Accession No. 121136276 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 512.62 L221i Accession No. 452045491 Availability Available Due Date Make a Reservation Service M

Contents information

Table of 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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields