Annals of the Japan Association for Philosophy of Science
Online ISSN : 1884-1228
Print ISSN : 0453-0691
ISSN-L : 0453-0691
Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension
SHÔJI MAEHARA, TOSHIO NISHIMURA, SETSUYA SEKI
Author information
JOURNAL FREE ACCESS

1960 Volume 1 Issue 5 Pages 269-288

Details
Download PDF (820K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© The Japan Association for Philosophy of Science
Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top