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)