https://bookem.ir/books/2580405-Logic-Colloquium-98