Natural deduction with general elimination rules
- 期刊名称Archive for Mathematical Logic
- 作者Jan von Plato
- 卷第40卷
- 期第7期
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小130.49KB
- 发表时间2001-10
- DOI10.1007/s001530100091
- 页码541-567
同出版社推荐
新时期党员干部党性党风党纪教育十五讲本书编写组编写 · 中国方正出版社中国方正出版社 · 2009
自考过关名师指导 行政法学湛中乐编著 · 北京：中国方正出版社；北京：法律出版社 · 1999
新式刑事裁判文书制作实务全书 1“刑事裁判文书改进与制作研究”课题组编写 · 北京：法律出版社；北京：中国方正出版社 · 2000
新式刑事裁判文书制作实务全书 3“刑事裁判文书改进与制作研究”课题组编写 · 北京：法律出版社；北京：中国方正出版社 · 2000
自考过关名师指导 刑事诉讼法学陈瑞华，刘涛编著 · 北京：中国方正出版社；北京：法律出版社 · 1999
自考过关名师指导 法学概论谭小颖等编著 · 北京：中国方正出版社；北京：法律出版社 · 1999
自考过关名师指导 刑法学刘秀轩编著 · 北京：法律出版社；北京：中国方正出版社 · 1999
自考过关名师指导 婚姻法学刘建邺编著 · 北京：法律出版社；北京：中国方正出版社 · 1999