Logic Directory

Featured Listings

nl.ijs.si: Damjan Bojadziev: Mind Versus GÖDel
Slightly edited version of Gödel's theorems for minds and computers, published in Informatica (1995).
nl.ijs.si/~damjan/g-m-c.html


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


Site Listings

nl.ijs.si: Damjan Bojadziev: Mind Versus GÖDel
Slightly edited version of Gödel's theorems for minds and computers, published in Informatica (1995).
nl.ijs.si/~damjan/g-m-c.html


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


Add Site to the Logic Directory