https://bookem.ir/books/2455748-Two-Papers-On-The-Predicate-Calculus