Consistency proofs of subsystems of classical analysis (0)

by G Takeuti
Venue:Ann. Math