共 50 条
- [43] Automated search for Godel's proofs DEDUCTION, COMPUTATION, EXPERIMENT: EXPLORING THE EFFECTIVENESS OF PROOF, 2008, : 117 - 140
- [45] Goodman's Extensional Isomorphism and Syntactical Interpretations THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2009, 24 (02): : 203 - 211