Currently displaying 1 – 20 of 6093

Showing per page

Order by Relevance | Title | Year of publication

Formally self-referential propositions for cut free classical analysis and related systems

G. KreiselG. Takeuti — 1974

CONTENTSIntroduction............................................................................................................................................................................................................ 5  I. Results on self-referential propositions............................................................................................................................. 11    1. Definitions of some principal metamathematical notions......................................................................

Page 1 Next

Download Results (CSV)