Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
10.1023/A:1005203526185 | ||||
Mathematical Logic as Based on the Theory of Types | American Journal of Mathematics |
| 260 | 1908 |
Second-Order Logic Still Wild | The Journal of Philosophy |
| 39 | 1988 |
10.1007/BF00485186 | ||||
10.1023/A:1010613027576 |