Mathematical Theory

Information Flow: The Logic of Distributed Systems

By Jon Barwise, Jerry Seligman

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

By Peter Bruce Andrews

Modern Logic: A Text in Elementary Symbolic Logic

By Graeme Forbes

Cornerstones of Undecidability

By Grzegorz Rozenberg, Arto Salomaa

Gödel's Incompleteness Theorems

By Raymond M. Smullyan

Mathematical Thought from Ancient to Modern Times

By Kline, Morris

An Introduction to Error Analysis: The Study of Uncertainties in Physical Measurements

By John Robert Taylor

Beginning Logic

By E.J. Lemmon

Twenty Years of a New Kind of Science

By Stephen Wolfram