共 50 条
- [42] ELEMENTARY PROOFS OF PEANOS EXISTENCE THEOREMS AMERICAN MATHEMATICAL MONTHLY, 1973, 80 (03): : 282 - 286
- [44] Proofs of theorems based on the use of computers BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1999, 2A (01): : 69 - 81
- [46] ON EFFECTIVE SPEED-UP AND LONG PROOFS OF TRIVIAL THEOREMS IN FORMAL THEORIES. 1976, 10 (03): : 29 - 38
- [50] Proofs of korovkin's theorems via inequalities AMERICAN MATHEMATICAL MONTHLY, 2003, 110 (04): : 334 - 336