[FOM] Stone's representation theorem

[Alasdair Urquhart]

Birkhoff's paper of 1935 cited by Vaughan Pratt
does indeed contain a statement of the representation
theorem for Boolean algebras.  However, the footnote
to this result reads:

"Proved by M.H. Stone, "Boolean algebras and
their application to topology", Proc. U.S.A. Acad. 
20 (1934), 197-202."

Hence, the usual attribution of the theorem to 
Marshall Stone appears to be correct.