Sean Matthews (Editor)

Labelled Deduction (APPLIED LOGIC SERIES Volume 17)

2000