Semantic values of natural deduction derivations

Author(s):
Sundholm, B.G. (0000-0001-5161-0720)
Published
2007
Publication type
Article / Letter to editor
Date issued
2007
Language
English
Is part of
Synthese (2007), Vol. 148, no. 3, p. 623-638
hdl
1887/8644