A New Foundation of a Complete Boolean Equational Logic

Bulletin of the Section of Logic, Tom 38, Numer 1-2 (2009) s. 13-29
George Tourlakis

 

do góry