论文信息 - Proof System - 字舞流文

Proof System

Etsuya Shibayama | Michio Honda | Tatsuya Hagino | E. Shibayama | Michio Honda | T. Hagino | Etsuya Shibayama

[1] A. Leisenring. Mathematical logic and Hilbert's ε-symbol , 1971 .