Handbook of proof theory. - Elsevier Science Publishers, 1998. - ( Studies in Logic and the Foundations of Mathematics ; 137).

1. Cote: 19273. En rayon: classement par auteur.