Logic and Foundations

 Computational Logic

 Game Semantics
 Knowledge Representation and Planning
 Model Theory
 Nonstandard Logics and Extensions

 Online Discussion Groups
 Proof Theory
 Research Groups and Centers
 Set Theory
  Web logic-and-foundations.math.sciencenter.work
Logic and Foundations Sites
Science Math Logic and Foundations
Science Math Logic and Foundations sites
Science Math Logic and Foundations
Science Math Logic and Foundations sites
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.
Introduction to Mathematical Logic
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Set Theory and Foundations of Mathematics
Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory , and explain its philosophical aspects. Also includes some physics.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by logic-and-foundations.math.sciencenter.work

Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites

Copyleft 2005 logic-and-foundations.math.sciencenter.work