<!-- MHonArc v2.4.8 -->
<!--X-Subject: ONT Re: Bibliography on Logical Formalization &#38; Mechanization -->
<!--X-From-R13: Xba Ojoerl <wnjoerlNbnxynaq.rqh> -->
<!--X-Date: Mon, 17 Sep 2001 09:59:05 &#45;0400 (EDT) -->
<!--X-Message-Id: 3BA5FE26.3B15002A@oakland.edu -->
<!--X-Content-Type: text/plain -->
<!--X-Reference: 3B1D5667.741C6A8B@oakland.edu -->
<!--X-Head-End-->

<!-- /groups/802/3/efm/public/email/msg03275.html -->
<!-- /groups/???? ?SUO?                              -->

<HTML>

<HEAD>
<TITLE>O