Topia!: Science: Math: Logic and Foundations (772) Category Theory@ (40) Computability (topiasearch) Computational Logic (topiasearch) Directories (topiasearch) Education (topiasearch) Foundations (topiasearch) History (topiasearch) Institutions (topiasearch) Meetings (topiasearch) Model Theory (topiasearch) Nonstandard Logics and Extensions (topiasearch) Organizations (topiasearch) People (topiasearch) Philosophy of Logic@ (92) Proof Theory (topiasearch) Publications (topiasearch) Set Theory (topiasearch) Software (topiasearch) 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. Additional categories: ab machine government small business loans great mortgage rates tractor tires baseball hats

Logic and Foundations