Title of article
Proof-theoretic analysis of termination proofs Original Research Article
Author/Authors
Wilfried Buchholz، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1995
Pages
9
From page
57
To page
65
Journal title
Annals of Pure and Applied Logic
Serial Year
1995
Journal title
Annals of Pure and Applied Logic
Record number
890017
Link To Document