[FOM] Online documents

[mail@sakharov.net]

Hello,
In case someone is aware of online documents on the following two topics, could you please forward pointers to these materials to me. I am looking for primer materials with definitions and proofs as opposed to advanced research papers. Your advice will be greatly appreciated. Here are the topics:

1. Translations between natural deduction and sequent calculus, especially cut-free translation from natural deduction to sequent calculus

2. Kripke semantics - definitions and proofs of soundness and completeness for first-order intuitionistic logic

(I am aware of printed materials covering these topics such as Prawitz, Troelstra and van Dalen books to name few.)
Alex Sakharov