|
|
 | |
DigiDagi  Science Mathematics Logic and Foundations |
PR: 8
| Classical Logic Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. http://plato.stanford.edu [ Detail ] |
PR: 7
| Computability Logic Homepage Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. http://www.cis.upenn.edu [ Detail ] |
PR: 6
| Introduction to Mathematical Logic Hyper-textbook for students by V. Detlovs and K. Podnieks. http://www.ltn.lv [ Detail ] |
PR: 6
| Mathematical Logic and Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. http://www.math.niu.edu [ Detail ] |
PR: 5
| Mathematical Logic around the World A rich collection of links to logic-related websites. http://www.uni-bonn.de [ Detail ] |
PR: 4
| Mind Versus Goedel by Damjan Bojadziev Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. http://nl.ijs.si [ Detail ] |
Copyright Digi Dagi Directory 2007-2009, All right's Reserved. |
