https://bookem.ir/books/2039072-Historia-de-la-lo-gica-formal