Peter Aczel

1 published title

Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990

(Contributor)

1 edition