E-mail:
Website: http://www.csc.villanova.edu/~japaridz/

Subject:

Provability and interpretability logics, Game semantics and the theory of interactive computation, Proof theory and deep inference, Complexity theory

Publications in Math-Net.Ru

Personal pages:

• 

Organisations:

• Villanova University