Logic for mathematics and computer sicence
Contents: Quantifier-free logics; propositional logic; equational logic; logic with quantifiers.
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Undetermined |
| Cyhoeddwyd: |
New Jersey
Prentice Hall
1998
|
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
| Crynodeb: | Contents: Quantifier-free logics; propositional logic; equational logic; logic with quantifiers. |
|---|