Title: Beweisbarkeitslogik
First published: 2006
Subjects: Evidence, Logic
People: Kurt Gödel, J. Barkley Rosser (1907-), Robert M. Solovay
LC classification: BC171 .B945 2006