Semantical investigation in Heytings intuitionistic logic

RecordNumber
14098
Author
Gabbag, Dov M., 1945-
Title
Semantical investigation in Heytings intuitionistic logic
Author Statement
Dov M. Gabbay
Publication
Reidel
Publication Year
[c1981]
Collation
x, 287p
Series
Synthese library v.148
Bibliography
Bibliography: p. 230-284
Subject
Intuitionistic mathematics , Heyting, Arend, 1898-
ADDED ENTRIES
^dSeries: Synthese library v.148
Main Class
511
Sub Class
.2
Cutter no
G112s
وارد كنندة اطلاعات
fazel^d//
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=14098&Field=0&DTC=2

Gabbag, Dov M., 1945-