Giorgi Japaridze Dzhaparidze

Giorgi Japaridze Dzhaparidze

Villanova University - Villanova / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1326375
person_outline Giorgi Japaridze Dzhaparidze's MOST POPULAR ARTICLES
1-) Introduction to computability logic Annals of Pure and Applied Logic 123 (1-3), 1-99, 2003
2-) The logic of provability Handbook of Proof Theory (Studies in Logic and the Foundations of …, 1998
3-) In the Beginning was Game Semantics Games: Unifying Logic, Language, and Philosophy, 249-350, 2009
4-) Sequential operators in computability logic Information and Computation 206 (12), 1443-1475, 2008
5-) From truth to computability I Theoretical computer science 357 (1-3), 100-135, 2006