Introducción al simbolismo lógico - Bosch, Jorge E. LoC, VIAF