Title: Beweisbarkeitslogik : Gödel, Rosser, Solovay /
Authors: Bülow, Christopher von.
Publisher: Logos,
Year: 2006
Subjects: Gödel, Kurt.; Rosser, J. Barkley; Solovay, Robert M.; Evidence.; Logic.