Pete,
Per Lindström FIRST
Pebble weighted automata and transitive - LSV
Peano and Heyting Arithmetic
pdf [local copy]
pdf version
Lectures on Laws of Supply and Demand, Simple and Compound
Lectures on Infinitary Model Theory
Lecturecise 19 Proofs and Resolution Compactness for
lecture16
lecture05
Lecture01 - Mathematics
Lecture slides
Lecture Slides
Lecture Notes on the Lambda Calculus
Lecture Notes on Stability Theory
Lecture Notes on Sequent Calculus
lecture notes in Mathematical Logic
lecture notes in logic - UCLA Department of Mathematics
Lecture Notes in Computer Science
