On a problem of formal logic (1930)

by Frank P Ramsey
Venue:Classic Papers in Combinatorics. Pages 2–24. Birkhäuser Boston