Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 23 Nov 1992 17:42:56 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA06890; Mon, 23 Nov 92 07:14:36 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from nene.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA06885; Mon, 23 Nov 92 07:14:19 -0800 Received: from dipper.cl.cam.ac.uk (user mjcg (rfc931)) by nene.cl.cam.ac.uk with SMTP (PP-6.3) to cl; Mon, 23 Nov 1992 15:13:06 +0000 Received: by dipper.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA13586; Mon, 23 Nov 92 15:14:28 GMT Date: Mon, 23 Nov 92 15:14:28 GMT From: Mike.Gordon@uk.ac.cam.cl Message-Id: <9211231514.AA13586@dipper.cl.cam.ac.uk> To: info-hol@edu.uidaho.cs.ted Cc: DT105@uk.ac.cam.phx Subject: Introduction to HOL "Introduction to HOL", edited by M.J.C. Gordon and T.F. Melham, will be published by Cambridge University Press in early 1993. Its ISBN is 0 521 441897 and it will be priced at about 30 pounds. You can buy it from bookshops or direct from Cambridge University Press (CUP), by giving details of your credit card (type, number, exp date) to David Tranah of Cambridge University Press via email at DT105@uk.ac.cam.phx.