EIN HOARE KALKÜL FÜR DIE SPRACHE DER GETYPTEN LAMBDA-TERME KORREKTHEIT, VOLLSTÄNDIGKEIT, ANWENDUNGEN

• 資料種別: 博士論文
• タイトル: EIN HOARE KALKÜL FÜR DIE SPRACHE DER GETYPTEN LAMBDA-TERME KORREKTHEIT, VOLLSTÄNDIGKEIT, ANWENDUNGEN
• 著者・編者: Goerdt, Andreas.
• 著者標目: Goerdt, Andreas.
• 出版事項: Aachen : Rheinisch-Westfälische Technische Hochschule Aachen
• 出版年月日等: 1986.
• 数量: 269p.
• 授与機関名: Rheinisch-Westfälische Technische Hochschule Aachen
• 授与年月日: 1986.
• 授与年月日（W3CDTF）: 1986
• 学位論文注記: 博士論文; Thesis (doctoral) --Rheinisch-Westfälische Technische Hochschule Aachen, 1986.
• 出版地（国名コード）: DE
• 本文の言語コード: ger
• 所蔵機関: 国立国会図書館
• 請求記号: M-DIGA-4705
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003385153; http://id.ndl.go.jp/bib/000003385153
• 整理区分コード: 216