Searchalot
 

Internet Directory - Top : Science : Math : Logic and Foundations

Top : Science : Math : Logic and Foundations (661 web sites)
Category Theory
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
Philosophy of Logic
Proof Theory
Publications
Research Groups and Centers
Set Theory
Software
 Related Categories
Computers: Programming: Languages: Logic_based
Society: Philosophy: Philosophy_of_Science: Mathematics
Computers: Artificial_Intelligence: Philosophy
Society: Philosophy: Philosophy_of_Language
 Related Web Pages

Classical Logic
Introduction to classical logic, including completeness and Lwenheim-Skolem theorems; by Stewart Shapiro.
http://plato.stanford.edu/entries/logic-classical/

Introduction to Mathematical Logic
Hyper-textbook for students by V. Detlovs and K. Podnieks.
http://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.
http://www.settheory.net/