Model Theory Logic and Foundations Math

@Intermall

Top: Science: Math: Logic_and_Foundations: Model_Theory:

• - Short list of online resources compiled by David Marker.
  
• - Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
  
• - People, problems, bibliographies, events.
  
• - Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.