Options
On Reductions of Hintikka Sets for Higher-Order Logic
Steen, Alexander; Benzmüller, Christoph (2020): „On Reductions of Hintikka Sets for Higher-Order Logic“. arXiv doi: 10.48550/ARXIV.2004.07506.
Author:
Publisher Information:
Year of publication:
2020
Pages:
Language:
English
Type:
Preprint
published:
September 21, 2022
Permalink
https://fis.uni-bamberg.de/handle/uniba/55647