|
Top: 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.
|
Copyright © Smart Dir
Locations Vacances | Vacances | Hotels | Destinations Vacances | Hotels
|
|