Directory Help
Search only in Students and Independent Scholars
Search the Web
Students and Independent Scholars
Science
>
Math
>
Logic and Foundations
>
People
> Students and Independent Scholars
Go to Directory Home
Web Pages
Viewing in Google PageRank order
 
View in alphabetical order
Anand, Bhupinder Singh
-
http://alixcomsi.com/index01.htm
Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning.
Flannery, Ryan
-
http://ryanflannery.org
University of Cincinnati - satisfiability, first-order and temporal logic, computer science.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
Modified by Google - ©2009 Google
Advertise with Us
-
Jobs, Press, Cool Stuff...