From: Mark Tarver
Subject: study #4: quantifier machines
Date: Tue, 25 Oct 2005 14:26:36 +0000
Message-ID: <1130250396.335600.275880@g14g2000cwa.googlegroups.com>

There is a new post on the construction
of quantifier machines in www.lambdassociates.org/studies.

Mark