Logic, Language, Information, and Computation
de Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz
de Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz
Springer · ISBN 9783662441442
Springer London, Limited · inglés · ISBN 9783662441459
Springer · ISBN 9783642399930