An institution-independent proof of the Beth definability theorem (0)

by M Aiguier, F Barbier
Venue:Studia Logica