Helmut Schwichtenberg

来自维基百科，自由的百科全书

Found in articles

Lithuanian). 1498. A. S. Troelstra（英语：A. S. Troelstra） & H. Schwichtenberg（英语：Helmut Schwichtenberg） (2000). Basic Proof Theory (Cambridge Tracts in Theoretical