Beta assertive graphs : proofs of assertions with quantification

vastutusandmed
Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 8, 2
ilmumisaasta
leheküljed
23 p. : ill
ISSN
2631-9810
märkused
Bibliogr.: 23 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
Bellucci, F., Chiffi, D., Pietarinen, A.-V. Beta assertive graphs : proofs of assertions with quantification // Journal of applied logics : IfCoLog journal of logics and their applications (2021) vol. 8, 2, 23 p. : ill. https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf