Cankaya Alkor

• Untersuchungen über die Metamathematik der Ackermannschen Mengenlehre