Hilberts programLitteraturanvisningS.C. Kleene, Introduction to Metamathematics (1952).Information om artikelnKällangivelse