Aspects of incompleteness / - Lindström, Per, (Association for Symbolic Logic ;, 2003)