Choose your reply from the options at the end. Does "In a famous paper of 1936 with Garrett Birkhoff, the first work ever to introduce quantum logics, von Neumann and Birkhoff first proved that quantum mechanics requires a propositional calculus substantially different from all classical logics and rigorously isolated a new algebraic structure for quantum logics." contain the correct answer to "With whom did von Neuman work on a paper in 1936 that introduce quantum logic?"
Select from the following.
1). yes.
2). no.
1).