Peter Aczel

Identifiers

Open LibraryOL9691844A

Top Subjects

Proof theory (1)

Books by Peter Aczel

Total count: 1

Proof TheoryA Selection of Papers from the Leeds Proof Theory Programme 1990

Cambridge University Press2008-01-01