Title: Beweisbarkeitslogik: G odel, Rosser, Solovay
Subjects: Philosophy, OUR Brockhaus selection