A basic formal equational predicate logic - Part I

Bulletin of the Section of Logic, Tom 29, Numer 1-2 (2000) s. 43-56
George Tourlakis

 

do góry