Formalization of a Plausible Inference

Bulletin of the Section of Logic, Tom 33, Numer 1 (2004) s. 41-52
Szymon Frankowski

 

do góry