図書

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

Icons representing 図書

Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.

(Synthese library ; v. 148)

Call No. (NDL)
MA41-A45
Bibliographic ID of National Diet Library
000003151831
Material type
図書
Author
Gabbay, Dov M., 1945-
Publisher
D. Reidel Pub. Co.
Publication date
c1981.
Material Format
Paper
Capacity, size, etc.
x, 287 p. ; 23 cm.
NDC
-
View All

Notes on use

Note (General)：

Includes index.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
9027712026
Title
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.
Series Title
Synthese library ; v. 148
Author Heading
Gabbay, Dov M., 1945-
Publication, Distribution, etc.
Dordrecht, Holland : D. Reidel Pub. Co.
Boston : D. Reidel Pub. Co.
Hingham, MA : D. Reidel Pub. Co.
Dordrecht, Holland : distributed in the U.S.A. and Canada by Kluwer Boston
Boston : distributed in the U.S.A. and Canada by Kluwer Boston
Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston
Publication Date
c1981.
Publication Date (W3CDTF)
1981
Extent
x, 287 p. ; 23 cm.
Place of Publication (Country Code)
NL