Boeken door Peter Jipsen - BookPine

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, ... Computer Science and General Issues)

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, ... Computer Science and General Issues)

Peter Höfner

Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Volume 151)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Volume 151)

Nikolaos Galatos

Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, Volume 151.

Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, Volume 151.

Nikolaos Galatos

Residuated Lattices: An Algebraic Glimpse at Substructural Logics: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos

Varieties of Lattices

Varieties of Lattices

Peter Jipsen