General Recursive Functions in the Number-Theoretic Formal System
暂无分享，去创建一个
[1] Shôji Maehara,et al. Eine Darstellung der Intuitionistischen Logik in der Klassischen , 1954, Nagoya Mathematical Journal.
[2] R. Peter,et al. Gentzen Gerhard. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig 1938. , 1939, Journal of Symbolic Logic.
[3] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .