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
=======================================================================