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