Algebraic and Proof-theoretic Aspects of Non-classical Logics bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783540759386

Hersteller:
Springer Verlag

Herst.-Nr.:
9783540759386

EAN/GTIN:
9783540759386

Suchbegriffe:

Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

Weitere Informationen:


Author:	S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Verlag:	Springer Berlin
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Logik, Philosophie / Logik, Automated first order deduction, Constructive provability, Extension, Free MV-algebras, Fuzzy, IMTL algebras, Lattice-ordered abelian groups, Lukasiewicz logic, Many-valued logic