Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Tue, 24 Nov 1992 23:11:25 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA09776;
          Tue, 24 Nov 92 14:41:15 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA09771;
          Tue, 24 Nov 92 14:41:06 -0800
Received: from LocalHost.cs.ucla.edu 
          by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA11543;
          Tue, 24 Nov 92 14:40:22 -0800
Message-Id: <9211242240.AA11543@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted, chou@edu.ucla.cs
Subject: Re: Equality and partial functions
In-Reply-To: Your message of "Tue, 24 Nov 92 10:47:39 GMT." <"nene.cl.ca.518:24.11.92.10.47.48"@cl.cam.ac.uk>
Date: Tue, 24 Nov 92 14:40:20 PST
From: chou@edu.ucla.cs

There are discussions about logics with undefined terms in
Troelstra and van Dalen's book: "Constructivism in Mathematics".

- Ching Tsun