資料詳細

  • 1 件中、 1 件目

[ 洋図書 ] Proof methods for modal and intuitionistic logics / ( Synthese library ; v. 169 )

Melvin Fitting. -- D. Reidel ; -- c1983. --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
多摩 書庫 一般洋図書 F/1160/F54/P 1221210188 Digital BookShelf
1983/09/30 可能（館内閲覧） 利用可   0 (14)-0289
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 9027715734
テキストの言語 英語                  
分類：NDC10版 116
個人著者標目 Fitting, Melvin,
生没年等 1942-
本タイトル Proof methods for modal and intuitionistic logics /
著者名 Melvin Fitting.
出版地・頒布地 Dordrecht, Holland ;
出版者・頒布者名 D. Reidel ;
出版年・頒布年 c1983.
数量 viii, 555 p. ;
大きさ 24 cm.
一般注記 Includes index.
書誌注記 Bibliography: p. 526-539.
著者標目 Fitting, Melvin Chris.
シリーズ名・巻次 Synthese library ; v. 169
一般件名 Proof theory.
Modality (Logic)
資料情報1 『Proof methods for modal and intuitionistic logics /』（Synthese library ; v. 169）　Melvin Fitting.　D. Reidel ;　c1983. （所蔵館：多摩　 請求記号：F/1160/F54/P　 資料コード：1221210188）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1340125526

ページの先頭へ