book announcement: Categorical Logic and Type Theory

B. Jacobs, Categorical Logic and Type Theory,
Studies in Logic and the Foundations of Mathematics 141,
North Holland, Elsevier, 1999. ISBN 0-444-50170-3

This book gives a survey of categorical logic and type theory
starting from the unifying concept of a fibration. 
Its intended audience consists of logicians, type theorists, 
category theorists and (theoretical) computer scientists.
It contains the following chapters.

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
Notation index
Subject index

More information can be obtained from the authors webpage:


or directly from the publisher:


The book is also available via Amazon:


To get an impression, you can preview the Prospectus from
the authors webpage.

Bart Jacobs,
Dep. Comp. Sci.,
Univ. Nijmegen, 
P.O. Box 9010,
6500 GL Nijmegen,
The Netherlands.
Email: bart@cs.kun.nl

PS. Please pass this information on to your institute's librarian.

[With apologies for multiple copies]