TY  - BOOK
AU  - Church,Alonzo
AU  - Borgers,Alfons
AU  - Anderson,Alan Rose
ED  - Association for Symbolic Logic
TI  - The journal of symbolic logic
PY  - 1972///
CY  - Beccles
PB  - William Clowes & Sons
KW  - символическая логика
KW  - периодические издания
KW  - комбинаторная логика
KW  - Рамсея теорема
KW  - абелевы группы
N1  - Includes bibliographical references
ER  -