Context

Context of Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
Processing Feedback ...