11 citations to 10.1007/BF00370390 (Crossref Cited-By Service)
  1. Lev D. Beklemishev, “Bimodal logics for extensions of arithmetical theories”, J. symb. log., 61, no. 1, 1996, 91  crossref
Previous
1
2