forsiden
tilføj din url
kontakt
tilføj søgning.dk link
gør søgning.dk til din startside
toolbar
dagens side
søgning.dk » darts

Katolog > Science > Math > Logic and Foundations > Model Theory

Forsiden  |  

Links:

Introduction to Model Theory
http://www.cs.nott.ac.uk/~nza/MGS/MGS00/

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.
www.cs.nott.ac.uk/~nza/MGS/MGS00
Model Theory. Skolem's Paradox. Ramsey's Theorem.
http://www.ltn.lv/~podnieks/gta.html

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'.
www.ltn.lv/~podnieks/gta.html
Model Theory of Fields: Suggested Reading
http://www.math.uic.edu/~marker/mtf-reading.html

Model Theory of Fields: Suggested Reading

Short list of online resources compiled by David Marker.
www.math.uic.edu/~marker/mtf-reading.html
Finite Model Theory Homepage
http://www-mgi.informatik.rwth-aachen.de/FMT/

Finite Model Theory Homepage

People, problems, bibliographies, events.
www-mgi.informatik.rwth-aachen.de/FMT

Free thumbnail preview by Thumbshots.org
Modified by søgning.dk