Categorical logic and type theory/

Main Author: Jacobs, Bart
Format: Book
Language:English
Published: Amsterdam: Elsevier, 1999
Series:Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra ; 141
Subjects:
LEADER 00780nam a2200205 a 4500
001 1300692
005 20171111233233.0
008 991008s1999 gr erb 001 0 eng d
020 |a 0444501703 
040 |a GrAtEKP.Mathimatiko  |b gre  |e AACR2 
082 0 |2 22  |a 511.3 
100 1 |a Jacobs, Bart 
245 1 0 |a Categorical logic and type theory/  |c Bart Jacobs 
260 |a Amsterdam:  |b Elsevier,  |c 1999 
300 |a xviii, 760 p. ;  |c 23 cm. 
490 0 |a Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra ;  |v 141 
500 |a Includes bibliographical references p. 717-733 and index 
650 0 |a Type theory 
650 0 |a Categories (Mathematics) 
952 |a GrAtEKP  |b 59cd0ede6c5ad134460e9185  |c 998a  |d 945l  |e 511.3 JacB c 1999  |t 1  |x m  |z Books