Omega-consistency and the diamond

Bulletin of the Section of Logic, Tom 9, Numer 1 (1980) s. 46-49
George Boolos

 

do góry