Concise Introduction to Pure Mathematics

Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.

Pure mathematics is the foundation for some of the most important technological advancements of the modern era. In this classic text, Edward Atkins provides a comprehensive overview of the principles...

This volume, written by his friends, collaborators and students, is offered to the memory of Paul Tunin. Most of the papers they contributed discuss subjects related to his own fields of research...