Title of article :
Basic proof theory: A.S. Troelstra and S. Schwichtenberg, (Cambridge University Press, 1996), Cambridge Tracts in Theoretical Computer Science 43, ISBN 0 521 57223 1
Author/Authors :
Lev Gordeev، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1998
Pages :
4
From page :
339
To page :
342
Journal title :
Science of Computer Programming
Serial Year :
1998
Journal title :
Science of Computer Programming
Record number :
1079497
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1079497
