TY - SER AU - Church, Alonzo AU - Langford, Cooper Harold AU - Association for Symbolic Logic TI - The Journal of symbolic logic SN - 0022-4812 CY - Pasadena, CA [etc.] PB - Association for Symbolic Logic. KW - Lógica simbólica y matemática KW - Publicaciones periódicas N1 - Suscripción cancelada en bodega (su consulta requiere solicitarla con anticipación en el mostrador de Hemeroteca); Indizado en Humanities index; 0095-5981; Indizado en Computer & control abstracts; 0036-8113; March 1977-; Indizado en Electrical & electronics abstracts; 0036-8105; March 1977-; Indizado en Index to book reviews in the humanities; 0073-5892; Indizado en Philosopher's index; 0031-7993; Indizado en Physics abstracts. Science abstracts. Series A; 0036-8091; March 1977- ER -