Pebble weighted automata and transitive - LSV
Peano`s Arithmetic
Peano and Heyting Arithmetic
pdf [local copy]
pdf version
Lectures on Proof Theory - Create and Use Your home.uchicago
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 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
Lecture notes from 5860
