A graphical deep inference system for intuitionistic logic

vastutusandmed
Ahti-Veikko Pietarinen, Minghui Ma
ajakirja aastakäik number kuu
vol. 62, 245
ilmumisaasta
leheküljed
p. 73-114
märksõna
ISSN
0024-5836
keel
inglise
Pietarinen, A.-V., Ma, M. A graphical deep inference system for intuitionistic logic // Logique et analyse (2019) vol. 62, 245, p. 73-114.