TY  - BOOK
TI  - Language proof and logic
CY  - Stanford, California : CSLI Publications
N1  - El CD acompaña al libro "Language. proof and logic"
ER  -