rekursionsteoriLitteraturanvisningKent Petersson, Beräkningsbarhet för dataloger (1988);Information om artikelnMedverkandeDag PrawitzKällangivelse