«Science»  : «Math»  : Logic and Foundations


 Computability
 Computational Logic
 Directories

 Education
 Foundations
 Game Semantics
 History
 Knowledge Representation and Planning
 Meetings
 Model Theory
 Nonstandard Logics and Extensions

 Online Discussion Groups
 Organizations
 People
 Proof Theory
 Publications
 Research Groups and Centers
 Set Theory
 Software
Google
  Web science-sites.work
«Science»  : «Math»  : Logic and Foundations Sites

Science Math Logic and Foundations
Science math logic and foundations sites
Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations
Science math logic and foundations sites
Logic-and-Foundations.Math.science-sites.work
Science Math Logic and Foundations
Science math logic and foundations sites
Logic-and-Foundations.science-math.space
Classical Logic
introduction to classical logic , including completeness and löwenheim-skolem theorems; by stewart shapiro.
plato.stanford.edu/entries/logic-classical/
Computability Logic Homepage
main online source on computability logic - a recently emerged formal theory of computational tasks and resources. maintained by g. japaridze.
www.cis.upenn.edu/~giorgi/cl.html
Introduction to Mathematical Logic
hyper-textbook for students by v. detlovs and k. podnieks.
www.ltn.lv/~podnieks/mlog/ml.htm
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.
www.settheory.net/

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 science-sites.work

Remove Link

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


Copyleft 2005 science-sites.work