Record:   Prev Next
作者 TICTTL 2011 (2011 : Salamanca, Spain)
書名 Tools for teaching logic [electronic resource] : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings / edited by Patrick Blackburn ... [et al.]
出版項 Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
國際標準書號 9783642213502 (electronic bk.)
9783642213496 (paper)
book jacket
Record:   Prev Next