Semantical investigations in Heyting's intuitionistic logic

＜図書＞
Semantical investigations in Heyting's intuitionistic logic

責任表示	Dov M. Gabbay
シリーズ	Synthese library ; v. 148
データ種別	図書
出版情報	Dordrecht, Holland ; Boston : D. Reidel Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston , c1981
本文言語	英語
大きさ	x, 287 p. ; 23 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図 2C_1‐14 [文/哲学]	哲学/402/601-148	1981		068052189024864		予約・取寄			予約・取寄
		理系図3F 数理独自	GABB/10/1	1981		068222181006072		予約・取寄			予約・取寄

一般注記	Bibliography: p. 280-284 Includes index
著者標目	*Gabbay, Dov M., 1945-
件　名	LCSH:Intuitionistic mathematics LCSH:Heyting, A. (Arend), 1898-
分　類	LCC:QA9.47 DC19:511/.2
書誌ID	1000470041
ISBN	9027712026
NCID	BA03907317
巻冊次	ISBN:9027712026
登録日	2009.09.14
更新日	2009.11.02