Publisher
Springer Science and Business Media LLC
Reference30 articles.
1. von Plato, J.: Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics. Sources and Studies in the History of Mathematics and Physical Sciences. Springer (2017).
https://doi.org/10.1007/978-3-319-42120-9
2. Gentzen, G.: Untersuchungen über das logische Schließen. I. Mathematische Zeitschrift 39(1), 176–210 (1935).
https://doi.org/10.1007/BF01201353
3. Maehara, S.: Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya Math. J. 7, 45–64 (1954).
https://doi.org/10.1017/S0027763000018055
4. Dyckhoff, R.: Intuitionistic decision procedures since Gentzen. In: Advances in Proof Theory, volume 28 of Progress in Computer Science and Applied Logic, pp. 245–267. Springer (2016).
https://doi.org/10.1007/978-3-319-29198-7_6
5. Fitting, M.C.: Intuitionistic Logic, Model Theory and Forcing, volume 54 of Studies in Logic and the Foundations of Mathematics. North-Holland (1969).
http://www.sciencedirect.com/science/bookseries/0049237X/54
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献