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.

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

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.

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