Proof logic and formalization - Detlefsen Micheal ed (London Routledge, 1992)
Keywords: LOGIC; MATHEMATICS