000 00341nam a2200121 a 4500
005 20220228110438.0
035 _aF8901000002382
084 _aBC61 B377
245 _aLanguage proof and logic
260 _aStanford, California : CSLI Publications
300 _a1 disco compacto
500 _aEl CD acompaƱa al libro "Language. proof and logic"
999 _c52024
_d52024