Selected papers on Automath / edited by R.P. Nederpelt ... [et al.].

• 資料種別: 図書
• ISBN: 0444898220
• タイトル: Selected papers on Automath / edited by R.P. Nederpelt ... [et al.].
• シリーズタイトル: Studies in logic and the foundations of mathematics ; v. 133
• 著者標目: Nederpelt, R. P. (Rob P.)
• 出版事項: Amsterdam : Elsevier; Tokyo : Elsevier
• 出版年月日等: 1994.
• 出版年（W3CDTF）: 1994
• 数量: xix, 1024 p. : ill., port. ; 24 cm.
• 出版地（国名コード）: NL
• 本文の言語コード: eng
• 件名標目: 記号論理学. Kigoronrigaku.; 形式言語. Keisikigengo.; AUTOMATH (Formal language)
• LCC: QA267.3
• DDC: 511.3
• NDLC: MA41
• 書誌注記: Includes bibliographical references and indexes.
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-A92
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003235429; http://id.ndl.go.jp/bib/000003235429
• LC control number: 94034022; https://lccn.loc.gov/94034022
• 整理区分コード: 211

目次

Contents

Preface

Contents⊂xi

Hints for the reader

Notation