Language proof and logic 

 - Stanford, California : CSLI Publications 
 - 1 disco compacto 
<br/><br/> El CD acompaņa al libro "Language. proof and logic"