ISBN 3662441446 books & textbook
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues)
Kohlenbach, Ulrich Barceló, Pablo de Queiroz, Ruy J G B
Springer /2014-07-24 Paperback / 257 Pages
isbn-10: 3662441446 / isbn-13: 9783662441442
