Daniele Mundici
2 published titles
Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540633855
- Springer
- 1997
- Details
Algebraic foundations of many-valued reasoning
(Contributor)
1 edition
- ISBN: 0792360095
- Kluwer Academic
- 2000
- Details
