Title: Metamathematik
First published: 1962
Subjects: Metamathematics
LC classification: QA9 .L66