What Is Mathematical Logic? - (Dover Books on Mathematics) by J N Crossley & C J Ash & C J Brickhill & J C Stillwell (Paperback)

This book provides a comprehensive introduction to mathematical logic, covering historical developments, key ideas, and modern concepts such as set theory, Gödel's incompleteness theorems, and more.

Written in an approachable style, it is suitable for both mathematicians and non-mathematicians alike.

The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era.

The authors then briefly indicate how relatively modern concepts influenced mathematical logic.

The book is edited by five individuals from Australia's Monash University, making it a valuable resource for anyone interested in this exciting area of modern mathematics.