[FOM] Kreisel's Elements of Mathematical Logic

billy hudson billyhudson at mail.boisestate.edu
Tue Aug 17 18:45:02 EDT 2004

I neglected to mention Krivine as the second author but that is indeed the
book I am interested in. This is a hard book to locate over the web. All
that I have found for sale and in university libraries is the second revised
printing but no mention of the second revised edition other than in the

-----Original Message-----
From: William Tait [mailto:wwtx at earthlink.net] 
Sent: Tuesday, August 17, 2004 4:39 PM
To: billy hudson
Cc: fom at cs.nyu.edu
Subject: Re: [FOM] Kreisel's Elements of Mathematical Logic

I don't know the answer to your question, but you might check Amazon. I do
want to note that the only book ``Elements of Mathematical Logic'' with
Kreisel as an author, as far as I know, has a second author: J.L. Krivine.

Bill Tait

On Aug 17, 2004, at 10:47 AM, billy hudson wrote:

In the "Preface to the Second Printing" of  Kreisel's "Elements of
Mathematical Logic", Second revised printing, 1971, Kreisel mentions ". . .
a revised edition in preparation." Does anyone on the fom list know if this
edition ever materialized?

Thanks in advance, 
FOM mailing list
FOM at cs.nyu.edu

-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/fom/attachments/20040817/c7a1650c/attachment.html

More information about the FOM mailing list