book announcement

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:
Grand'Place, 29
1348 Louvain-la-Neuve

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

Marcel Crabb'e