Title: Metamathematik der Elementarmathematik
First published: 1983
Subjects: Metamathematics
LC classification: QA9.8 .E54 1983