TY - SER TI - Annals of pure and applied logic SN - 0168-0072 U1 - 510 PY - 1983///- CY - Amsterdam PB - North-Holland KW - Logic, Symbolic and mathematical KW - Periodicals KW - Logique symbolique et mathématique KW - Périodiques KW - Wiskundige logica N1 - Title from cover; Published: Elsevier Science Publishers B.V. (North Holland), 1988- N2 - Access available online from 1997- through ScienceDirect UR - http://www.sciencedirect.com/science/journal/01680072 ER -