検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA03965998
名称(HDNG)Wallen, Lincoln A.
注記(NOTE)His Automated proof search in non-classical logics, 1989: CIP t.p. (Lincoln A. Wallen)
LCAID88179199
選択行を：
選択行を
▲ページトップへ