TY  - BOOK
AU  - Boobs, George
TI  - The logic of provability
SN  - 9780521483254
AV  - FASS BC 141 .B66  
PY  - 1993///
CY  - New York
PB  - Camridge University press
KW  - Provability-Logic
ER  -