ML-1997-03: Giovanna D'Agostino The Łoś–Tarski and Lyndon Theorem for the $\mu$-logic 1.Full Text, 2.Abstract. < Back