Czech Republickrajicek

发表

Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic

Czech Republickrajicek, 2007 .

A Fundamental Problem of Mathematical Logic

Czech Republickrajicek, 2022 .