Aczel, Peter

Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 - Cambridge: Cambridge University Press, 1992 - x, 306 p.; : 23 cm.

0521054168 (pbk)


Proof theory

511.3 / ACZ

Powered by Koha