https://bookem.ir/books/3457950-Kurt-Gedel-Collected-Works-Volume-II