ISBN 1848902379 books & textbook
Ifcolog Journal of Logics and their Applications Volume 4, number 1: Tools for Teaching Logic (TTL 2015)
Pinchinat, Sophie Schwarzentruber, Francois
College Publications /2017-01-12 Paperback / 230 Pages
isbn-10: 1848902379 / isbn-13: 9781848902374