A graphical deep inference system for intuitionistic logic

vastutusandmed
Ahti-Veikko Pietarinen, Minghui Ma
ajakirja aastakäik number kuu
vol. 245
ilmumisaasta
leheküljed
p. 73-114
märksõna
ISSN
0024-5836
märkused
Bibliogr.: 51 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kvartiil
Q3
keel
inglise