avgörbarhet.LitteraturanvisningMartin Davis, Computability and Unsolvability (1958);Information om artikelnMedverkandeDag PrawitzKällangivelse