1
Finite Model Theory
Lecture 16
Lw1w Summary
and 0/1 Laws