An Institution-Independent Proof of the Beth Definability Theorem

Studia Logica - Netherlands
doi 10.1007/s11225-007-9043-z
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC