An Institution-independent Proof of the Beth Definability Theorem (0)

by M Aiguier, F Barbier
Venue:Studia Logica