共 50 条
- [41] Applying Godel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (97): : 49 - 62
- [45] Godel's Proof 2. Semantics of First Order Theory and Hilbert's Program RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2007, 12 (03): : 35 - 46
- [47] THE DIALECTIC OF ACTION AND ONTOLOGICAL PROOF REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1986, 111 (04): : 425 - 433