book announcement

• To: types@cs.indiana.edu
• Subject: book announcement
• From: crabbe@risp.ucl.ac.be (Crabb'e Marcel)
• Date: Thu, 23 Apr 1998 14:42:57 +0100
• Delivery-Date: Thu, 23 Apr 1998 08:39:12 -0500

Randall Holmes's book *Elementary Set Theory with a Universal Set*
just appeared.  A variant of Quine's set theory (NF) is presented in
it as an alternative approach to the foundations of mathematics.  It
is written as an elementary set theory text, parallel in structure to
Halmos's classic *Naive set theory*.  In the last chapter the author
takes function rather than set as primitive and introduces a
stratified lambda-calculus.

The book is the volume 10 of the series *Cahiers du Centre de Logique*
edited by the Department of philosophy of the Universite de Louvain at
Louvain-la-Neuve (Belgium).

It can be ordered by writing to
the publisher:
BRUYLANT-ACADEMIA
Grand'Place, 29
1348 Louvain-la-Neuve
Belgium

Fax (0)10-45.44.80
email: academia.bruylant@skynet.be

The price is 1150 BEF

More information about the subject of the book can be found at
http://math.idbsu.edu/faculty/holmes/nf.html

Marcel Crabb'e

• Prev: Paper: A Finite Axiomatization of Inductive-Recursive Definitions
• Next: Paper on cut and explicit substitutions
• Index(es):
  • Main
  • Thread