Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new edition has been thoroughly expanded and revised.
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.