TY  - BOOK
TI  - Journal of symbolic logic
CY  - USA
PB  - Association of Symbolic Logic Inc.
ER  -