Annals of Mathematical Logic · Volume 10, Issue 2, December 1976, ... Combinatorial metatheorems concerning the tautology problem are proved in Section 4.
確定! 回上一頁