An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic

• 資料種別: 規格・テクニカルリポート類
• タイトル: An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic
• 著者・編者: Mattison, R
• 出版年月日等: 1969
• 出版年（W3CDTF）: 1969
• 数量: 74 p
• リポート番号: テクニカルリポート番号 : RAND/RM-5580-1-PR
• 所蔵機関: 国立国会図書館
• 請求記号: M-RAND/RM-5580-1-PR
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000005558309; http://id.ndl.go.jp/bib/000005558309
• 整理区分コード: 291