---

＜図書＞
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.
(Synthese library ; v. 148)

出版者	Dordrecht, Holland : D. Reidel Pub. Co.
出版者	Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston
出版年	c1981.
出版年	c1981.
大きさ	x, 287 p. ; 23 cm.
著者標目	Gabbay, Dov M., 1945-
件　名	Heyting, A. Intuitionistic mathematics
一般注記	Includes index.

 類似資料