TY - SER TI - Annals of pure and applied logic AV - NETWORK (NOTFORLOAN) CY - Amsterdam PB - North-Holland. N1 - Made available direct from publisher via ScienceDirect service and Elsevier's own website; Access restricted by licensing agreement to This Library community; Also available in print UR - http://www.elsevier.nl/locate/apal/ UR - http://www.sciencedirect.com/science/journal/01680072/ ER -