Meeting of the Association for Symbolic Logic, Atlanta 1973 | Publicación