海量图书期刊资源，随时随地畅享阅读乐趣
Giles's Game and the Proof Theory of Łukasiewicz LogicChristian G. Fermüller and George Metcalfe · Studia Logica: An International Journal for Symbolic Logic · 2009