 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Logic
Open Encyclopedia entry. Hierarchically organized by subareas.
Introduction to Mathematical Logic
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Mathematical Logic around the World
A rich collection of links to logic-related websites.
|
|
||
 |
|||