Integrating intuitionistic and classical theories
Formalizing a non-linear Henkin quantifier
An interpolation theorem for denumerably long formulas
An addition to "On defining well-orderings"
On defining well-orderings
A complete, infinitary axiomatization of weak second-order logic
Elementary interpretations of negationless arithmetic
On an extremely restricted ω-rule
Representación grafica del teorema de Church y Rosser
Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy
Page 1