| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1953 | J | jnl |
J. Symb. Log.
|
| 1948 | J | jnl |
J. Symb. Log.
|
| 1945 | J | jnl |
J. Symb. Log.
|
| 1944 | J | jnl |
J. Symb. Log.
|
| 1943 | J | jnl |
J. Symb. Log.
|
| 1942 | J | jnl |
J. Symb. Log.
|
| 1941 | J | jnl |
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology.
J. Symb. Log.
|
| 1940 | J | jnl |
J. Symb. Log.
|
| 1940 | J | jnl |
J. Symb. Log.
|
| 1940 | J | jnl |
J. Symb. Log.
|
| 1939 | J | jnl |
J. Symb. Log.
|