Incompleteness of the bibinary semantics for R

Bulletin of the Section of Logic, Tom 16, Numer 3 (1987) s. 107-110
J. Michael Dunn

 

do góry