×

自然演绎。证明性的理论研究。 (英语) Zbl 0173.00205

斯德哥尔摩大学学报。斯德哥尔摩哲学研究3.斯德哥尔摩:Almqvist&Wiksell。113页。(1965年)。

理学硕士:

03-02年 与数学逻辑和基础有关的研究展览会(专著、调查文章)

关键词:

一般逻辑
PDF格式 BibTeX公司 XML 引用