Itala M. L. D'Ottaviano has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Product Description: This new edition of the author's well-received Propositional Logics presents the history, philosophy, and mathematics of its subject. Individual chapters are devoted to classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and analytic implication...read more
Edition summary (click for prices and details):
Hardcover:
9780195087611 | 2 sub edition (Oxford Univ Pr, December 1, 1995), cover price $80.00 | About this edition: This new edition of the author's well-received Propositional Logics presents the history, philosophy, and mathematics of its subject.
2
Edition summary (click for prices and details):
Paperback:
9780821813645 | Amer Mathematical Society, July 1, 1999, cover price $69.00 | About this edition: This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, São Paolo) in Salvador, Bahia, Brazil.
3
Edition summary (click for prices and details):
Miscellaneous:
9780824744236 | CRC Pr I Llc, April 10, 2002, cover price $229.95
4
Edition summary (click for prices and details):
Hardcover:
9780792360094 | Kluwer Academic Pub, December 1, 1999, cover price $169.00 | About this edition: This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search.
Paperback:
9789048153367 | Springer Verlag, December 2, 2010, cover price $169.00 | About this edition: This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search.
displaying 1 to 4 |
at end