( en | de | ru )

 

Disambiguation of "Bloom, Stephen L."

Author of the publication

copydeleteadd this publication to your clipboard
A note on the predicatively definable sets of N. N. Nepeîvoda.

. Math. Log. Q., 21 (1): 427-431 (1975)

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.

L Stephen Cook

Renate Bloom

Margareta Bloom-Schinnerl

Toby Bloom

Lena Bloom

 

Other publications of authors with the same name

Varieties of Iteration Theories., and . SIAM J. Comput., 17 (5): 939-966 (1988)Some varieties of iteration theories., and . Bulletin of the EATCS, (1984)Iteration 2-Theories: Extended Abstract., , , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 30-44. Springer, (1997)Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.. Notre Dame J. Formal Log., 14 (3): 408-410 (1973)A semi-completeness theorem.. Notre Dame J. Formal Log., 10 (3): 303-308 (1969)Investigations into the sentential calculus with identity., and . Notre Dame J. Formal Log., 13 (3): 289-308 (1972)Iteration 2-theories., , , and . Appl. Categorical Struct., 9 (2): 173-216 (2001)Matrices, machines and behaviors., , and . Appl. Categorical Struct., 4 (4): 343-360 (1996)The alternation number and a dot hierarchy of regular sets.. Acta Cybern., 7 (4): 355-358 (1986)Algebraic Linear Orderings, and . CoRR, (2010)