Review: Logics of provability
Russell once compared a good notation to a good teacher. Whatever can be said in a good notation can be said in a bad one, just as whatever can be said by a good teacher can be said by a bad one; the difference is that the good notation and the good teacher help one discover more for oneself. It has...
| 主要作者: | |
|---|---|
| 格式: | Journal article |
| 語言: | English |
| 出版: |
Blackwell Publishers
1996
|
| 主題: |