LEWIS CARROLL Logic, Mathematics, and Games This page is dedicated to information related to Lewis Carroll (AKA Charles Lutwidge Dodgson), in his role as a mathematician and a logician. [QuickView]
Logic Software from CSLI This page describes the text/software packages Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic. [QuickView]
Association for Symbolic Logic ASL Homepage [QuickView]
Mathematical Logic. Around Goedel's Theorem. By K.Podnieks [QuickView]
Mathematical Logic around the world Research groups, journals, organizations, conferences etc. in mathematical logic (such as set theory). By the Mathematical Logic Group, Bonn and the Vienna University of Technology. [QuickView]
|
Epinions.com - Reviews of Mathematics-Logic Epinions has the best comparison shopping information on Mathematics Logic Books. Compare prices from across the web and read reviews from other consumers on Mathematics... [QuickView]
The Homepage of the Helsinki Logic Group [QuickView]
The Institute for Logic, Language and Computation [QuickView]
Mathematics Archives - Topics in Mathematics - Logic... [QuickView]
|