Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Recursive Irrationality of |pi.. J. Symb. Log., 19 (4): 267-274 (1954)A Problem in Recursive Function Theory.. J. Symb. Log., 18 (3): 225-232 (1953)On the Formalisation of Indirect Discourse.. J. Symb. Log., 23 (4): 417-419 (1958)On the Restricted Ordinal Theorem.. J. Symb. Log., 9 (2): 33-41 (1944)Transfinite Ordinals in Recursive Number Theory.. J. Symb. Log., 12 (4): 123-129 (1947)On recursive transcendence., and . Notre Dame J. Formal Log., 1 (4): 127-137 (1960)Book Reviews.. Comput. J., 6 (3): 297-298 (1963)Satisfiability in a larger domain.. Notre Dame J. Formal Log., 15 (4): 598-600 (1974)A new proof of completeness.. Notre Dame J. Formal Log., 13 (4): 563-564 (1972)Polynomials with computable coefficients.. Notre Dame J. Formal Log., 11 (4): 447-448 (1970)