Studia Logica · 1967 · 43 citations · 4 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicModel TheoryPhilosophical LogicPredicate LogicAxiom SystemsAxiomatic LanguageAxiomaticsAxioms
4
The Logic of Quantum Mechanics
Garrett Birkhoff, John von Neumann · Annals of Mathematics · 1936 · 2.9K citations
Orrin Frink · American Mathematical Monthly · 1938 · 36 citations