Cargando…
Categorical logic and type theory /
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier Science,
�1999.
|
| Edición: | 1st ed. |
| Colección: | Studies in logic and the foundations of mathematics ;
v. 141. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162130542 | ||
| 003 | OCoLC | ||
| 005 | 20231117014834.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070802s1999 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d MERUC |d OCLCE |d E7B |d OCLCQ |d OPELS |d IDEBK |d OCLCQ |d TULIB |d OCLCO |d OCLCQ |d OPELS |d OCLCF |d DEBBG |d YDXCP |d OCLCQ |d COO |d OCLCQ |d DEBSZ |d OCLCQ |d STF |d U3W |d D6H |d OCLCQ |d LEAUB |d OL$ |d UKBTH |d LUN |d OCLCQ |d OCLCO |d COM |d OCLCQ | ||
| 019 | |a 441801312 |a 609273688 |a 779919296 |a 1035659021 |a 1113606492 | ||
| 020 | |a 9780444501707 | ||
| 020 | |a 0444501703 | ||
| 020 | |a 0080528708 |q (electronic bk.) | ||
| 020 | |a 9780080528700 |q (electronic bk.) | ||
| 035 | |a (OCoLC)162130542 |z (OCoLC)441801312 |z (OCoLC)609273688 |z (OCoLC)779919296 |z (OCoLC)1035659021 |z (OCoLC)1113606492 | ||
| 050 | 4 | |a QA9 |b .J27 1999eb | |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a 31.10 |2 bcl | ||
| 100 | 1 | |a Jacobs, Bart. | |
| 245 | 1 | 0 | |a Categorical logic and type theory / |c Bart Jacobs. |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam ; |a New York : |b Elsevier Science, |c �1999. | ||
| 300 | |a 1 online resource (xviii, 760 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 141 | |
| 520 | |a This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. | ||
| 505 | 0 | |a <IT>Chapter Headings only.</IT> Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index. | |
| 504 | |a Includes bibliographical references (pages 717-733) and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Type theory. | |
| 650 | 0 | |a Categories (Mathematics) | |
| 650 | 6 | |a Th�eorie des types. |0 (CaQQLa)201-0048724 | |
| 650 | 6 | |a Cat�egories (Math�ematiques) |0 (CaQQLa)201-0004942 | |
| 650 | 7 | |a Categories (Mathematics) |2 fast |0 (OCoLC)fst00849000 | |
| 650 | 7 | |a Type theory. |2 fast |0 (OCoLC)fst01159972 | |
| 650 | 1 | 7 | |a Typentheorie. |2 gtt |
| 650 | 1 | 7 | |a Wiskundige logica. |2 gtt |
| 776 | 0 | 8 | |i Print version: |a Jacobs, Bart. |t Categorical logic and type theory. |b 1st ed. |d Amsterdam ; New York : Elsevier Science, �1999 |z 0444501703 |z 9780444501707 |w (DLC) 98043478 |w (OCoLC)40298312 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 141. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444501707 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=141 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/141 |z Texto completo |