Consistency proofs of subsystems of classical analysis (1967)

by G Takeuti
Venue:Annals of Mathematics