On Some Applied First-Order Theories which Can be Represented by Definitions

Bulletin of the Section of Logic, Tom 44, Numer 1-2 (2015) s. 19-24
Vladimir Shalack

 

do góry