TY  - BOOK
AU  - Ceitin G S
TI  - Five papers on logic and fondations
U1  - 510T 
PY  - 1972///
CY  - Providence
PB  - A M S
KW  - Mathematical logic
ER  -