N-Categories in Logic. - Agustin Riscos; Luis M. Laita (Math. Log. Q., 1987)