证明论Cambridge University Press. ISBN 0521779111 G. Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, Collected Papers of Gerhard Gentzen
哲学逻辑 Routledge: 1989. 1989. ISBN 0-415-02317-3. Preface to Colin McGinn, Logical Properties: Identity, Existence, Predication, Necessity, Truth, Oxford: