ListOfLists.com Internet Directory
Home > Top > Science > Math > Logic > Documents

Surf these sites:
 A Problem Course in Mathematical Logic; by Stefan Bilaniuk -- Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
Around Goedel''s theorem; by K.Podnieks -- (Hyper)textbook for students in mathematical logic.
Foundations of Temporal Logic -- This site is devoted to the Life and Work of Arthur Norman Prior (1914-69), the founding father of temporal logic. A special emphasis is placed on Prior''s papers in The Bodleian Library, Oxford.
Gödel''s Theorem and Information -- G.J.Chaitin''s proof of Gödel''s theorem using arguments having an algorithmic information theory flavor.
Introduction to Logic and Recursion Theory -- Notes from the class taught by Prof. Sacks in the Spring of 1998.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor