|
|
SiteSkipper > Science > Math > Logic_and_Foundations
See also:
| This category in other languages: | | | |
 |
|
» Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
|
 |
|
» Computability Logic Homepage - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
|
 |
|
» Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
|
|
|

|