Socially Responsive, Environmentally Friendly logic (2006)

by S Abramsky
Venue:Truth and Games: Essays in Honour of Gabriel Sandu