A basic formal equational predicate logic : part II

Bulletin of the Section of Logic, Tom 29, Numer 3 (2000) s. 75-87
George Tourlakis

 

do góry