Top: Science: Math: Logic and Foundations (771) Category Theory@ (40) Computability (8) Computational Logic (36) Directories (16) Education (23) Foundations (6) History (101) Institutions (67) Meetings (207) Model Theory (4) Nonstandard Logics and Extensions (59) Organizations (13) People (128) Philosophy of Logic@ (92) Proof Theory (9) Publications (37) Set Theory (24) Software (27) See Also: Computers: Artificial Intelligence: Philosophy Computers: Programming: Languages: Logic-based Society: Philosophy: Philosophy of Language Society: Philosophy: Philosophy of Science: Philosophy of Mathematics Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. Abstract Service - An archive of abstracts of logic articles at the Institute for Logic, University of Vienna. Math Front: LO Logic - Front end for the logic section of the mathematics e-print arXiv. Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Logic and Games - Survey of game-theoretical approaches to logic; by Wilfrid Hodges. Usenet sci.logic - news: - Google Groups mx80

Quick Links discount wood flooring inkjet specialty papers project management methodologies continental airlines reservation club car golf carts xenical in canada budget truck rental affirmative action education hotels las vegas nevada thompson financial

Logic and Foundations