| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1999 | J | jnl |
J. Symb. Log.
|
| 1998 | B | conf |
TARK
|
| 1998 | J | jnl |
J. Philos. Log.
|
| 1997 | J | jnl |
Notre Dame J. Formal Log.
|
| 1996 | — | book |
Vicious circles - on the mathematics of non-wellfounded phenomena.
|
| 1995 | J | jnl |
Log. J. IGPL
|
| 1993 | J | jnl |
J. Log. Comput.
|
| 1993 | Misc | conf |
ICCS
|
| 1993 | A* | conf |
LICS
|
| 1993 | — | book |
The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition.
|
| 1991 | J | jnl |
Minds Mach.
|
| 1991 | B | conf |
MFPS
|
| 1990 | — | conf |
NACLP
|
| 1989 | — | book |
The situation in logic.
|
| 1988 | B | conf |
TARK
|
| 1986 | J | jnl |
Notre Dame J. Formal Log.
|
| 1986 | J | jnl |
J. Symb. Log.
|
| 1983 | J | jnl |
J. Symb. Log.
|
| 1983 | J | jnl |
J. Symb. Log.
|
| 1981 | A* | conf |
ACL
|
| 1981 | J | jnl |
Arch. Math. Log.
|
| 1979 | J | jnl |
J. Philos. Log.
|
| 1979 | J | jnl |
J. Symb. Log.
|
| 1978 | J | jnl |
J. Symb. Log.
|
| 1978 | J | jnl |
J. Symb. Log.
|
| 1977 | J | jnl |
J. Symb. Log.
|
| 1977 | J | jnl |
J. Symb. Log.
|
| 1976 | J | jnl |
J. Symb. Log.
|
| 1969 | J | jnl |
J. Symb. Log.
|
| 1969 | J | jnl |
J. Symb. Log.
|