Alonzo ChurchLitteraturanvisningS.C. Kleene, Introduction to Metamathematics (1952).Information om artikelnMedverkandeDag PrawitzKällangivelse