Open menu
PTCS 2001 (2001 Dahgstuhl Castle)
Proof theory in computer science