@book{ BB02568585,
  author    = "Cegielski, Patrick and Enayat, Ali and Kossak, Roman",
  title     = "Studies in weak arithmetics",
  publisher = "CSLI Publications",
  year      = "2010",
  series    = "CSLI lecture notes",
  number    = "no. 196, 217",
  URL       = "https://ci.nii.ac.jp/ncid/BB02568585"
}