1. 1
    Published 1982
    ...Mathematical Association of America,...
    Book
  2. 2
    Published 1996
    ...The Association for Computing Machinery,...
    Book
  3. 3
    Published 2001
    ...Association for Symbolic Logic,...
    Conference Proceeding Book
  4. 4
    Published 2010
    ...Association for Computing Machinery,...
    Electronic Conference Proceeding Software eBook
  5. 5
    Published 2011
    ...Mathematical Association of America,...
    Book