Premium
A system of natural deduction for GL
Author(s) -
Bellin Gianluigi
Publication year - 1985
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/j.1755-2567.1985.tb00089.x
Subject(s) - natural deduction , natural (archaeology) , mathematics , computer science , programming language , geography , archaeology