Доказать построив вывод

[ISS]

Уважаемые форумчане,помогите если не сложно.Нужно построить вывод.

$(A->(B->C)),A->B,A|-C$

[ISS]

$A->B , A|-B (A->(B->C)) , A |- B->C B , B->C |- C$
Правильно мыслю?

[Sonic86]

Да, если не строго, то так.
Формулы пишутся так:
$A, A \to B \vdash B$ - наведите мышкой.

[ISS]

Так это все доказательство?Или еще дальше надо развить?