Tools for Teaching Logic
Subtitle: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
By: edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano
Contributors: Ditmarsch, Hans van, 1959-; Manzano, María; Soler Toscano, Fernando; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6680
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642213496; 9783642213502
Subjects: Study and teaching; Symbolic and mathematical Logic; Computer science; Science; Education; Artificial intelligence