Selected papers on Automath

著者

• Nederpelt, R. P. (Rob P.)
• Geuvers, J. H
• Vrijer, R. C. de

書誌事項

Selected papers on Automath

edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen

（Studies in logic and the foundations of mathematics, v. 133）

Elsevier, 1994

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA24057695
• ISBN:
  • 0444898220
• LCCN: 94034022
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: xix, 1024 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA267.3
  • DC20 : 511.3
• 件名:
  • LCSH : AUTOMATH (Formal language)
• 親書誌ID:
  • BA00099329