Errata to the paper "On the ε-theorems" (Fund. Math. 43, p. 156-165)
A proof of the compactness theorem for arithmetical classes
Algebraic Treatment of the Functional Calculi of Heyting and Lewis
On the ε-theorems
N-lattices and constructive logic with strong negation
Algebraic models of axiomatic theories
On the Gentzen theorem
An application of lattices to logic
A proof of the completeness theorem of Grödel
Algebraic treatment of the notion of satisfiability
On existential theorems in non-classical functional calculi
A proof of the Skolem-Löwenheim Theorem
On the isomorphism of Lindenbaum algebras with fields of sets
On constructible falsity in the constructive logic with strong negation
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
Page 1