A note on the concept of satisfaction in intuitionistic predicate logic

Bulletin of the Section of Logic, Tom 28, Numer 4 (1999) s. 215-223
Janusz Maciaszek

 

do góry