Guest! Login/Join

DomainTools.com
Whois Domain Search Domain Suggestions For Sale Sales History Auction Search Domain Monitor Domain Directory
Ping Traceroute My IP Address Domain Parking Cheap Domain Name Registration Bulk Check Domain Typo Generator more>
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert

 

Model Theory


Directory > Science > Math > Logic_and_Foundations > Model Theory



39 Listings - DR (5/10)39 Listings - DR (5/10) Introduction to Model Theory - http://www.cs.nott.ac.uk/~nza/MGS/MGS00/
Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
224 Listings - DR (5/10)224 Listings - DR (5/10) Model Theory of Fields: Suggested Reading - http://www.math.uic.edu/~marker/mtf-reading.html
Short list of online resources compiled by David Marker.
209 Listings - DR (2/10)209 Listings - DR (2/10) Finite Model Theory Homepage - http://www-mgi.informatik.rwth-aachen.de/FMT/
People, problems, bibliographies, events.
18 Listings - DR (1/10)18 Listings - DR (1/10) Model Theory. Skolem's Paradox. Ramsey's Theorem. - http://www.ltn.lv/~podnieks/gta.html
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

Domain Tools analysis of DMOZ top listed domains