Home Advanced Search

Advanced Search - Page 1

Advanced Łukasiewicz calculus and MV-algebras
  • PDF
  • English
  • Year: 2011
  • Author: D. Mundici
A Cantor-Bernstein Theorem for Complete MV-Algebras
  • PDF
  • English
  • Year: 2003
  • Author: De Simone A., Mundici D.
Multiple-valued Logic
  • PDF
  • English
  • Author: Schmitt P.H., Mundici D., Zadeh L. (eds)
Logic: A Brief Course
  • EPUB
  • English
  • Year: 2012
  • Author: Mundici, Daniele
Logic: a brief course
  • PDF
  • English
  • Year: 2012
  • Author: Mundici, Daniele
Logic: a Brief Course
  • PDF
  • English
  • Year: 2012
  • Author: Daniele Mundici
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Peter B. Andrews, Matthew Bishop (auth.), P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (eds.)
Logic: A Brief Course
  • PDF
  • English
  • Year: 2012
  • Author: Daniele Mundici (auth.)
Logic: A Brief Course
  • PDF
  • English
  • Year: 2012
  • Author: Daniele Mundici (auth.)