Aspects of incompleteness / - Lindström, Per, (Springer-Verlag,, 1997)