( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A New Realizability Notion for Intuitionistic Analysis.

. Math. Log. Q., 23 (7-12): 137-167 (1977)

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.

Horst Bruno

Eugen Bruno

Horst Bruno

Armin Bruno

Axel Brunold

 

Другие публикации лиц с тем же именем

A Class of EXP-Time Machines which can be Simulated by Polytape Machines.. Computation Theory and Logic, том 270 из Lecture Notes in Computer Science, стр. 306-319. Springer, (1987)Complete Second Order Spectra.. Math. Log. Q., 30 (32-34): 509-524 (1984)Second order spectra.. Logic and Machines, том 171 из Lecture Notes in Computer Science, стр. 380-389. Springer, (1983)Lower bound results on lengths of second-order formulas.. Ann. Pure Appl. Log., 29 (1): 29-58 (1985)A New Realizability Notion for Intuitionistic Analysis.. Math. Log. Q., 23 (7-12): 137-167 (1977)