Large Infinitary Languages Model Theory Volume 83 Studies in Logic and the Found

Handbook of proof theory. Studies in logic and the foundations of mathematics 13

Algebra of Proofs Volumen 88 Studies in Logic and the Foundations of Mathematics

The Axiom of Choice Volume 75 Studies in Logic and the Foundations of Mathematic

Logic in Algebraic Form Volume 72 Studies in Logic and the Foundations of Mathem

Combinatorial Set Theory Volume 91 Studies in Logic and the Foundations of Mathe

Synthese Library - 62: Pragmatic Logic | Kazimierz Ajdukiewicz

Algebra of proofs M.E.Szabo. Studies in logic and the foundations of mathematics