Many-valued logics
| Κύριος συγγραφέας: | Bolc, Leonard |
|---|---|
| Άλλοι συγγραφείς: | Borowik, Piotr |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Θέματα: |
Παρόμοια τεκμήρια
-
A treatise on many-valued logics
ανά: Gottwald, Siegfried
Έκδοση: (2001) -
Many - sorted logic and its applications
Έκδοση: (1993) -
Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Έκδοση: (1977) -
Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980) -
Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)