Logic and Foundations Directory

Site Listings

plato.stanford.edu: Classical Logic (Stanford Encyclopedia Of Philosophy)
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
plato.stanford.edu/entries/logic-classical/

ltn.lv: Mathematical Logic. Introduction. By V.Detlovs And K.Podnieks
Extended translation of: V.Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian)
Keywords: book , hyper-text , learning , logic , mathematical , mathematical logic
www.ltn.lv/~podnieks/mlog/ml.htm

math.niu.edu: 03: Mathematical Logic And Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
www.math.niu.edu/~rusin/known-math/index/03-XX.html

Add Site or Add URL to Submit Site to the Logic and Foundations Directory