The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 20 of 6097

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)