Development of mathematical logic
Goodstein, Reuben Louis.
London Logos Press
1971
bibl p141-148
Logic, Symbolic and mathematical.