selected papers on automath


【著者名　】Nederpelt,RP.

【シリーズ】Studies in Logic and Foundations of Mathematics

【出版社　】North-Holland


【発行年度】1994年　 【冊数】1　 【頁数】1024　

￥10,000 税込

関連カテゴリ

  1. 数学
  2. 論理・基礎論
数量