The Mechanization of Deductive Reasoning',
| Elsevier North Holland, New York, NY, 1979.

| Rogers, Hartley, Jr.,
|'Theory of Recursive Functions and Effective Computability',
| McGraw-Hill, New York, NY, 1967.

| Smullyan, Raymond M.,
|'First-Order Logic',
| Dover Publications, Mineola, NY, 1995.

¤~~~~~~~~~¤~~~~~~~~~¤~YHPARGOILBIB~¤~~~~~~~~~¤~~~~~~~~~¤

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<ul><li><strong>Follow-Ups</strong>:
<ul>
<li><strong><a name="03