I want to know the answer to the following question:
With whom did von Neuman work on a paper in 1936 that introduce quantum logic?
All the background I'm provided with is that "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.". Is that enough to answer the question?
Answer: yes