This interactive tutorial will teach you how to use the sequent calculus, a simple set of rules with which you can use to show the truth of statements in first order logic. It is geared towards anyone with some background in writing software for computers, with knowledge of basic boolean logic.
U. Menne. (2017)cite arxiv:1705.05253Comment: The present text is a version with additional references but without figures of a note compiled for the Notices of the American Mathematical Society. (v4: considerably expanded introduction, 6 pages).