Guram Bezhanishvili

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Peano Arithmetic

Guram Bezhanishvili (2010) · Learning Discrete Mathematics and Computer Science via Primary Historical Sources, New Mexico State University (NMSU), Old Dominion University (ODU), Colorado State University at Pueblo (CSU-P)

Undecidability of first-order logic

Guram Bezhanishvili et al. (2009)