Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)

出版社: Amer Mathematical Society(1993-11-01)

ハードカバー: 153 ページ / 18.4 x 1.3 x 26.0 cm

ISBN-10: 0821845764  ISBN-13: 9780821845769