ISBN 9781848902190 books & textbook
Ifcolog Journal of Logics and their Applications Volume 3, number 4: Proof, Truth, Computation
Leitgeb, Hannes Petrakis, Iosef Schuster, Peter
College Publications /2016-11-23 Paperback / 252 Pages
isbn-10: 1848902190 / isbn-13: 9781848902190