Conden Chao

According to our database, Conden Chao authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2018

Gödel's second incompleteness theorem for Σ n -definable theories.

Conden Chao, Payam Seraji

Log. J. IGPL, 2018