The Development of Mathematical Logic from Russell to Tarski: 1900–1935 posted on Aug 8, 2010 von Frank Kalis in Links
THE SEMANTIC CONCEPTION OF TRUTH AND THE FOUNDATIONS OF SEMANTICS posted on Aug 8, 2010 von Frank Kalis in Links
UNSOLVED PROBLEMS in Number Theory, Logic, and Cryptography posted on Aug 8, 2010 von Frank Kalis in Links