8. CSL 1994: Kazimierz, Poland

Lambda Calculus

Proof Theory

Finite Model Theory

Logic Programming

Semantics

Category Theory

Other Logical Systems