Model Theory Logic and Foundations Math
Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
Top: Science: Math: Logic and Foundations: Model Theory
- Model Theory of Fields: Suggested Reading - Short list of online resources compiled by David model theory Marker.
- Introduction to Model Theory - Homepage of a lecture course by Natasha Alechina, math with a logic and foundations particular emphasis on topics relevant to math computer science, such as logic and foundations bisimulation.
- Model Theory. Skolem's Paradox. Ramsey's Theorem. - Introductory essay by Karlis Podnieks, constituting appendices 1 logic and foundations model theory and 2 of his book `Around Goedel's Theorems'.
- Finite Model Theory Homepage - People, problems, bibliographies, events.
MySQL - Cache Direct
