[Prev][Next][Index][Thread]
paperback announcement: Categorical Logic and Type Theory
-
To: acl2@cs.utexas.edu, amast@cs.utwente.nl, bra-types@cs.chalmers.se, categories@mta.ca, cofi-reactive@brics.nl, concurrency@cwi.nl, coq-club@pauillac.inria.fr, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, eacsl@dimi.uniud.it, eatcs-it@cs.unibo.it, facs@lboro.ac.uk, eapls@jiscmail.ac.uk, behavior@cs.ucsd.edu, formal-methods@cs.uidaho.edu, info-hol@jaguar.cs.byu.edu, isabelle-users@cl.cam.ac.uk, jml@cs.iastate.edu, lambda-usergroup@dcs.ed.ac.uk, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-ml@logic.jaist.ac.jp, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, nqthm-users@cli.com, nuprllist@cs.cornell.edu, nvti-list@cwi.nl, pvs@csl.sri.com, qed@mcs.anl.gov, rewriting@ens-lyon.fr, theorem-provers@ai.mit.edu, theory-a@vm1.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu
-
Subject: paperback announcement: Categorical Logic and Type Theory
-
From: Bart Jacobs <Bart.Jacobs@cs.kun.nl>
-
Date: Tue, 12 Jun 2001 15:22:46 +0200
-
cc: Bart.Jacobs@cs.kun.nl, A.Deelen@elsevier.nl
Dear Colleague,
I am happy to announce that Elsevier has now published a paperback
version of my book
B. Jacobs, Categorical Logic and Type Theory
Studies in Logic and the Foundations of Mathematics 141,
North Holland, Elsevier, 1999. 780 pages.
The regular price of the paperback is NLG 150 / Euro 68.07 / US$ 74
Elsevier now offers a discount of 25% for this paperback
if you order before 31 july 2001, using the attached form.
In that case the price is: NLG 112.50 / Euro 51 / US$ 55.50.
If you wish to use this special offer, please fill in the form, and send
it in time to Andy Deelen at Elsevier (precise address at bottom of the
form). Do not send it to me.
The 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.
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
More information can be obtained from the authors webpage:
http://www.cs.kun.nl/~bart/CLT/bookinfo.html
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.
- Warning
- Could not process part with given Content-Type:
application/msword ; name="Jacobsflyer.doc"