Language, Logic, and Computation

 

A  Workshop in Honor of Prof. Nachum Dershowitz' 60th Birthday

 

27.12.12