Assume that the free variable xs does not occur in any formula in this proof –there must be such an s since there are only finitely many formulae hence free variables mentioned in the pr[r]
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
| Định dạng | |
|---|---|
| Số trang | 180 |
| Dung lượng | 10,01 MB |
Nội dung
Assume that the free variable xs does not occur in any formula in this proof –there must be such an s since there are only finitely many formulae hence free variables mentioned in the pr[r]
Ngày đăng: 15/01/2021, 09:19
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN