"Matemàtica Filosofia." . . "Algebraic logic." . . "Algebraic logic" . "Matematikai logika." . . "Logic, Symbolic and mathematical." . . . . "Logic." . . "Algèbre Post." . . "Nichtklassische Logik." . . . . . . . . . . . . . . . . . . . . . . . . . . . . "An algebraic approach to non-classical logics" . "An algebraic approach to non-classical logics"@en . "An algebraic approach to non-classical logics"@pl . . . . . . . . . . . . . . . . . . . . "Preliminary set-theoretical, topological and algebraic notions. Topological spaces. Ordered sets and quasi-ordered sets. Implicative algebras. definition and elementary properties. Positive implication algebras. Implicative filters in positive implication algebras. Distributive lattices and quasi-boolean algebras. Distributive lattices. Quasi-boolean algebras. Relatively pseudo-complemented lattices, contrapositionally complemented lattices, semi-complemented laticies and pseudo-boolean algebras. Quasi-pseudo-boolean algebras. Boolean algebras and topological boolean algebras. Post algebras. Implicative extensional propositional calculi. Positive implicative logic and classical implicative logic." . . . . . . . . . . . . . . "An Algebraic approach to non-classical logics" . . . . . . . . . . . . . "Provability, Computability and Reflection."@en . . . . . . . "Electronic books"@en . "Logica simbolica." . . "Logique modale." . . "Àlgebra booleana." . . "Algebra booleana." . "Logique mathématique non classique." . . "Calcul propositionnel." . . "Treillis." . . "Logique positive." . . "Lògica matemàtica." . . "Logica Matematica." . "Algebra." . . "PHILOSOPHY Logic." . . "Logique algébrique." . . "Lógica matemática no clásica." . . "Logique constructive." . . "Lógica algebráica." . . "Mathematische Logik." . . "Proof theory." . . "Logika algebraiczna." . . "Logic, Symbolic and mathematical Periodicals." . . "Algèbre implicative." . . "Modality (Logic)" . . "Logique intuitionniste." . . "Algèbre quasi-pseudobooléenne." . . "Logique minimale." . . "Calcul prédicat premier ordre." . . "Logique symbolique et mathématique." . . "Algèbre booléenne." . . "Logique multivaluée." . . "Algebra och logik." . . "Algèbre pseudo-booléenne." . .