Formation and Logic of Quantum Mechanics by Mituo Taketani & Masayuki Nagasaki