formellt systemLitteraturanvisningA. Church, Introduction to Mathematical Logic (utvidgad upplaga 1956);Information om artikelnMedverkandeDag PrawitzKällangivelse