References
Laurenz Hudetz
(2019). The semantic view of theories and higher-order languages. Synthese, 196 (3), 1131-1149. https://doi.org/10.1007/s11229-017-1502-0.
(2019). The semantic view of theories and higher-order languages. Synthese, 196 (3), 1131-1149. https://doi.org/10.1007/s11229-017-1502-0.