( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Peirce's Rule in Natural Deduction.

. Theor. Comput. Sci., 275 (1-2): 561-574 (2002)

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.

Ernst Zimmermann

Ernst Zimmermann

Ernst Zimmermann

Ernst Zimmermann

Ernst Zimmermann

 

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

Lambek Calculus in Natural Deduction.. J. Log. Comput., 18 (4): 589-600 (2008)Elementary Definability and Completeness in General and Positive Modal Logic.. J. Log. Lang. Inf., 12 (1): 99-117 (2003)Natural Deduction Bottom Up.. J. Log. Lang. Inf., 30 (3): 601-631 (2021)Peirce's Rule in Natural Deduction.. Theor. Comput. Sci., 275 (1-2): 561-574 (2002)A Subintuitionistic Logic and Some of Its Methods.. RelMiCS, том 2561 из Lecture Notes in Computer Science, стр. 228-240. Springer, (2001)