1 Lecture 1: Introduction to databases Timothy G. Griffin Easter Term 2008 – IB/Dip/IIG
Mirco A. Mannucci and Rose M. Cherubin- Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetic
TeachYourselfLogic10-0
Teach Yourself Logic
Peter Smith - DIY Logic
Lecture 1:Introduction to databases
1 Finite Model Theory Lecture 3 Ehrenfeucht-Fraisse Games.