Newsgroups: sci.math,sci.logic
From: sbilaniu@oucsace.cs.ohiou.edu (Stefan Bilaniuk)
Subject: Free logic e-text available
Date: Sat, 2 Mar 1996 12:51:51 GMT


The LaTeX source files for

           A Problem Course in Mathematical Logic
                      [Version 1.2]
        Volume I,  Propositional and First-Order Logic
        Volume II,  Computability and Incompleteness

are now available by anonymous ftp from the directory

     ftp://ftp.trentu.ca/pub/pcml/

This is a text for a modified Moore-method introduction to mathematical 
logic for undergraduates with a modicum of mathematical sophistication.
The two volumes are independent of one another,  apart from the obvious
dependence of the treatment of the Incompleteness Theorems on knowledge
of first-order logic.

It is basically free until the end of 1997;  details of the conditions,
and other information,  can be found in the text-only file 

      ftp://ftp.trentu.ca/pub/pcml/about_pcml_12.txt

as well as in the preface to each volume.  [The main reason for the time
limit is that I hope to improve the book and make the update available.]

The source files for Volumes I and II,  pcml-i.tex and pcml-ii.tex,  are
about 170K and 150K respectively (about_pcml_12.txt is about 6K).  You
will need LaTeX2e,  and the AMS-LaTeX and AMSFonts packages,  to typeset
and print them.  If you have any problems or would prefer to get a copy
of the book in some other way,  please contact the author,  preferably
by electronic mail.

=======================================================================
Stefan Bilaniuk                        On sabbatical in 1995-96 from:
Visiting Adjunct Assistant Professor     
Department of Mathematics                Department of Mathematics
Ohio University                          Trent University
Athens,  Ohio 45701-2979,  U.S.A.        Peterborough,  Ontario
sbilaniu@oucsace.cs.ohiou.edu            Canada   K9J 7B8
office:  (614) 593-1270                  sbilaniuk@trentu.ca
home:    (614) 594-3132
=======================================================================