@article{512,
      author       = "Wang Hao",
      title        = "A Survey of Mathematical Logic  ",
      year         = "1962",
      note         = "1 sv.",
}