Theoretische Informatik und Logik (E1852) - Inst.f.Computersprachen - TU Wien

Logic.at has 8 URLs listed in 8 Dmoz categories.

Mathematical Logic Around the World
Compilation of links by Boris Piwinger.
http://world.logic.at/
Top/Science/Math/Logic_and_Foundations/Directories

Kurt Gödel Society
International organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel, and in other areas to which Gödel made contributions, especially mathematics, ph
http://www.logic.at/kgs/home.html
Top/Science/Math/Logic_and_Foundations/History/People/Gödel,_Kurt

(Austria) Vienna University of Technology
Group in Applications of Formal Logic.
http://www.logic.at/
Top/Science/Math/Logic_and_Foundations/Institutions/Europe

ESSLLI 2003
15th European Summer School in Logic Language and Information. Vienna, Austria, August 18-29, 2003.
http://www.logic.at/esslli03/
Top/Science/Math/Logic_and_Foundations/Meetings/ESSLLI

Kurt Gödel Society
An international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel.
http://www.logic.at/kgs/
Top/Science/Math/Logic_and_Foundations/Organizations

Shelah's Archive
Listing of all articles by Saharon Shelah, and links to many of them.
http://shelah.logic.at/
Top/Science/Math/Logic_and_Foundations/Set_Theory

MUltseq
A generic sequent prover for propositional finitely-valued logics.
http://www.logic.at/multseq/
Top/Science/Math/Logic_and_Foundations/Software

MUltlog
Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic.
http://www.logic.at/multlog/
Top/Science/Math/Logic_and_Foundations/Software

Shelah's Archive
Papers by Saharon Shelah in logic and related. (100s of articles, arXiv mirrored)
http://shelah.logic.at/
Top/Science/Math/Publications/Subject_Preprint_Archives