TY  - SER
AU  - University of Notre Dame
TI  - Notre Dame journal of formal logic
SN  - 0029-4527
AV  - BC 1 N6
CY  - Notre Dame, Ind.
PB  - University of Notre Dame.
KW  - Lógica -
KW  - Publicaciones periódicas
KW  - Lógica simbólica y matemática
N1  - Suscripción cancelada en acervo (se puede consultar de inmediato); Indizado en Mathematical reviews; 0025-5629; Indizado en Computer & control abstracts; 0036-8113; July 1971-; Indizado en Electrical & electronics abstracts; 0036-8105; July 1971-; Indizado en Electronics and communications abstracts journal (Riverdale); 0361-3313; Indizado en ISMEC bulletin; 0306-0039; Indizado en Philosopher's index; 0031-7993; Indizado en Physics abstracts. Science abstracts. Series A; 0036-8091; July 1971-; Indizado en Pollution abstracts with indexes; 0032-3624; Indizado en Safety science abstracts journal; 0-1342
ER  -