TY  - SER
ED  - North-Holland Pub. 
TI  - Annals of mathematical logic
SN  - 0003-4843
U1  - 510 
CY  - Amsterdam
KW  - Logic, Symbolic and mathematical
KW  - Periodicals
ER  -