Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

出版社: North Holland(1994-11-03)

ハードカバー: 1044 ページ / 15.9 x 5.7 x 23.5 cm

ISBN-10: 0444898220  ISBN-13: 9780444898227