Minimal from classical proofs
- 期刊名称Annals of Pure and Applied Logic
- 作者Schwichtenberg, Helmut; Senjak, Christoph
- 卷第164卷
- 期第6期
- 印刷ISSN0168-0072
- 文件大小161.93KB
- 发表时间2013-6
- DOI10.1016/j.apal.2012.05.009
- 页码740-748
同期刊推荐
IMACS Calendar of EventsMathematics and Computers in Simulation · 2012
News of IMACSMathematics and Computers in Simulation · 2012
Modelling and simulation: An overviewMathematics and Computers in Simulation · 2013
News of IMACSMathematics and Computers in Simulation · 2013
IMACS Calendar of EventsMathematics and Computers in Simulation · 2014
Editorial BoardMathematics and Computers in Simulation · 2013
IMACS Calendar of EventsMathematics and Computers in Simulation · 2013
Editorial BoardMathematics and Computers in Simulation · 2012