@article{59785,
      author = {Chang, Chin-Liang, and Lee, Richard Char-Tung,},
      url = {http://library.usi.edu/record/59785},
      title = {Symbolic logic and mechanical theorem proving},
      publisher = {Academic Press},
      recid = {59785},
      pages = {xiii, 331 p.},
      address = {New York,},
      year = {1973},
}