Il libro è attualmente esaurito
Maggiori informazioni sul libro
This book provides self-contained proofs of fundamental results in Lukasiewicz's infinite-valued propositional calculus and Chang's MV-algebras. Aimed at self-study, it requires basic knowledge of classical logic, algebra, and topology. It explores the relationship between MV-algebras and infinite-valued logic using Ulam's game of Twenty Questions.
Acquisto del libro
Algebraic Foundations of Many-Valued Reasoning, Itala M. D'Ottaviano, Daniele Mundici, R.L. Cignoli
- Lingua
- Pubblicato
- 1999
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.