會議由 Vappereau 上 11 七月 2007 在甘迺迪大學, 阿根廷. 在本次會議中, Vappereau 詳細闡述了證明構造中的真值表.
[額外: 2025/08/27]
會議由 Vappereau 上 11 七月 2007 在甘迺迪大學, 阿根廷. 在本次會議中, Vappereau 詳細闡述了證明構造中的真值表.
[額外: 2025/08/27]