Logic and Foundations
Submit a site
whatUseek Collection Sites
submit a site
Give your site great placement in this category in as little as two business days!
whatUseek Directory Site Listings:
- Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
(Israel) Ben Gurion University of the Negev
- Mathematical and Computational Logic Research Group.
- Logic Seminar.
- Foundations of Mathematics and Computer Science.
Automated Reasoning Project
- Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR).
Help build the largest human-edited directory on the web.
Submit a Site
Open Directory Project
Become an Editor