An inadequacy in Kripke-semantics for intuitionistic quantificational logic

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 61-67
Richard Routley

 

do góry