logikLitteraturanvisningA. Church, Introduction to Mathematical Logic (1956);Information om artikelnMedverkandeDag PrawitzKällangivelse