THE lectures on which this book is based were conceived by Chris Brickhill
and John Crossley. Our aim was to introduce the very important ideas in
modern mathematical logic without the detailed mathematical work which is
required of those with a professional interest in logic. The lectures were given
at Monash University and the University of Melbourne in the autumn
and winter of 1971. Their popularity induced us to produce this book which
we hope will give some idea of the exciting aspects of mathematical logic
to those who have no mathematical training.
We must add that we very much enjoyed giving these lectures and that the
audience response exceeded all our expectations. We thank Associate Professor
John McGechie of Monash University and Professor Douglas Gasking
of the University of Melbourne who so ably supported us in this venture.
We must also thank Dennis Robinson and Terry Boehm for their assistance
to Chris Brickhill in the preparation of these notes. Finally we thank AnneMarie
Vandenberg who so masterfully dealt with the typing.