https://scholars.lib.ntu.edu.tw/handle/123456789/549235
Title: | A Tableau Proof of Interpolation Theorem, Nomalization for Tableau systems and Sequent Calculi | Authors: | CHIN-MU YANG | Issue Date: | 1999 | Source: | The 7th Asian Logic Conference | Description: | June 8, 1999, Sea-Tau, Taiwan. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/549235 |
Appears in Collections: | 哲學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.