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:
Finite Model Theory Homepage
Fundamentals of Model Theory
- Introduction and PostScript source to the book by William Weiss and Cherie D'Mello.
Introduction to Model Theory
- Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
Model Theory of Fields: Suggested Reading
- Short list of online resources compiled by David Marker.
Model Theory. Skolem's Paradox. Ramsey's Theorem.
- Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.
Help build the largest human-edited directory on the web.
Submit a Site
Open Directory Project
Become an Editor