Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.

Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.

Short list of online resources compiled by David Marker.

People, problems, bibliographies, events.