Gödel’s Natural Deduction
- 期刊名称Studia Logica
- 作者Došen, Kosta; Adžić, Miloš
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小508.75KB
- 发表时间2017-8-22
- DOI10.1007/s11225-017-9744-x
同期刊推荐
Progress in Quantum AlgorithmsPeter W. Shor · Quantum Information Processing · 2004
In Memoriam: Thomas BethMarkus Grassl; Andreas Klappenecker; Martin Rötteler · Quantum Information Processing · 2006
Quantum Computation Violates Mirror SymmetryGregor W. Bayer · Quantum Information Processing · 2006
The Quantum Ultimatum GameR. Vilela Mendes · Quantum Information Processing · 2005
Ergodic Quantum ComputingDominik Janzing; Pawel Wocjan · Quantum Information Processing · 2005
Quantum MalwareLian-Ao Wu; Daniel Lidar · Quantum Information Processing · 2006
What Are Quantum States?Shimon Malin · Quantum Information Processing · 2006
In Praise of MeasurementN. David Mermin · Quantum Information Processing · 2006