Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games)

by: Benedikt Löwe · Johan van Benthem · Dov Gabbay Paperback details (USA). ISBN: 978-90-5356-356-4 ISBN-10: 90-5356-356-3 Amsterdam University Press · 2008