Wyniki
-
A note on the concept of satisfaction in intuitionistic predicate logic
Janusz Maciaszek
Bulletin of the Section of Logic , 28 /4 (1999) s. 215-223
Janusz Maciaszek
Bulletin of the Section of Logic
, 28
/4
(1999)
s. 215-223