Lógica matemática - Solís Daun, Julio Ernesto (Universidad Autónoma Metropolitana, Unidad Iztapalapa, 1982)