RSUV isomorphism (1993)

by G Takeuti
Venue:Arithmetic, proof theory and computational complexity