Satoko Titani A Proof of the Cut-Elimination Theorem in Simple Type Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:2, pp:215-226 [Journal]
W. Marek Observations Concerning Elementary Extensions of omega-Models. II. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:2, pp:227-231 [Journal]
Glen H. Suter Recursive Elements and Constructive Extensions of Computable Local Integral Domains. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:2, pp:272-290 [Journal]
Clement F. Kent The Relation of A to Prov A in the Lindenbaum Sentence Algebra. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:2, pp:295-298 [Journal]
Harvey Friedman The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:2, pp:315-319 [Journal]