Top > Science > Math > Logic and Foundations

Ramol Poleca:

Moje zapisane:

Nie masz jeszcze zapisanych.

Top: Science: Math: Logic_and_Foundations: Model_Theory:

Finite Model Theory Homepage - People, problems, bibliographies, events.
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'.