San Ramón Sancho. Lógica matemática y computabilidad - 1a. ed - Madrid : Díaz de Santos , 1990 - xvi, 223 p. : ISBN: 8487189539 Subjects--Topical Terms: LOGICALOGICA MATEMATICA Universal Decimal Class. No.: 510.6 SAN