TY  - BOOK
AU  - Fitting, Melvin
TI  - Types, tableaus, and Godel's god
SN  - 1402006047
CY  - London
ER  -