Mathematical logic and theoretical computer science - Kueker, D.W (Dekker, 1987)
Documentos... presentados durante el XVI añ especial de el Departamento de Matemáticas de la Universidad de Maryland, 1984-1985