HOME > 상세정보

상세정보

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

Introduction to higher order categorical logic 1st paperback ed. (with corrections) (5회 대출)

자료유형
단행본
개인저자
Lambek, Joachim. Scott, P. J.
서명 / 저자사항
Introduction to higher order categorical logic / J. Lambek, P.J. Scott.
판사항
1st paperback ed. (with corrections)
발행사항
Cambridge [Cambridgeshire] ;   New York :   Cambridge University Press ,   c1986.  
형태사항
ix, 293 p. : Genealogical tables ; 23 cm.
총서사항
Cambridge studies in advanced mathematics ; 7.
ISBN
0521246652 0521356539 (pbk.)
서지주기
Includes bibliographical references (p. [279]-288) and index.
일반주제명
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. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 512.62 L221i 등록번호 121136276 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 세종학술정보원/과학기술실/ 청구기호 512.62 L221i 등록번호 452045491 도서상태 대출가능 반납예정일 예약 서비스
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 512.62 L221i 등록번호 121136276 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 512.62 L221i 등록번호 452045491 도서상태 대출가능 반납예정일 예약 서비스

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료

Macdonald, Alan (2021)