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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=890017
بازگشت