Five papers on logic and fondations - Ceitin G S (Providence A M S, 1972)
Keywords: Mathematical logic