[Prev][Next][Index][Thread]
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:
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