1.
Hahn M, Richter F. Henkin semantics for reasoning with natural language. JLM [Internet]. 2016Feb.11 [cited 2021Nov.30];3(2):513–568. Available from: https://jlm.ipipan.waw.pl/index.php/JLM/article/view/113