A Note on Formalisation by the Method of Description of Truth-Tables.Published in:Mathematical Logic Quarterly, 1978, v. 24, n. 7, p. 109, doi. 10.1002/malq.19780240703By:Rose, AlanPublication type:Article
Orderings of Types of Countable Arithmetic.Published in:Mathematical Logic Quarterly, 1978, v. 24, n. 7, p. 97, doi. 10.1002/malq.19780240702By:Potthoff, K.Publication type:Article
Masthead.Published in:Mathematical Logic Quarterly, 1978, v. 24, n. 7, p. fmi, doi. 10.1002/malq.19780240701Publication type:Article