web nectar

Wectar - Science - Math - Logic and Foundations - Model Theory

         

  submit a site to this category
   


URL: http://www.cs.nott.ac.uk/~nza/MGS/MGS00/
ODP description: Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
Page title: Descriptive Complexity

URL: http://www-mgi.informatik.rwth-aachen.de/FMT/
ODP description: People, problems, bibliographies, events.

URL: http://www.ltn.lv/~podnieks/gta.html
ODP description: Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.
Page title: Model Theory. Goedel's Completeness Theorem. Skolem's Paradox. Ramsey's Theorem. By K.Podnieks
Page description: What is Mathematics? Goedel's Theorem and Around. Textbook for students. Appendix 1, 2. By K.Podnieks

URL: http://www.math.uic.edu/~marker/mtf-reading.html
ODP description: Short list of online resources compiled by David Marker.



  
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
  powered by Sphinx