forallxsyr.tex

\documentclass[oneside,11pt,letterpaper]{memoir}
\usepackage{forallxsyr}
\usepackage{fitch} % MR: this is adapted from Klüwer's fitch style, Magnus adapted Selinger's for the book

\makeindex

\begin{document}\midsloppy



\frontmatter

\include{forallx-00-frontmatter}


\newpage




\tableofcontents*

\newpage

\thispagestyle{empty}
\begin{quote}
``When you come to any passage you don't understand, \emph{read it again}: if you \emph{still} don't understand it, \emph{read it again}: if you fail, even after \emph{three} readings, very likely your brain is getting a little tired. In that case, put the book away, and take to other occupations, and next day, when you come to it fresh, you will very likely find that it is \emph{quite} easy.

``If possible, find some genial friend, who will read the book along with you, and will talk over the difficulties with you. \emph{Talking} is a wonderful smoother-over of difficulties. When I come upon anything --- in Logic or in any other hard subject --- that entirely puzzles me, I find it a capital plan to talk it over, \emph{aloud}, even when I am all alone.''

\begin{flushright} Lewis Carroll,  \emph{Symbolic Logic} (1897) \end{flushright}
\end{quote}



\mainmatter
\include{forallx-01-what}
\include{forallx-02-tfl-sym}
\include{forallx-03-tfl-sem}
\include{forallx-04-tfl-prf}
\include{forallx-05-fol-sym}
\include{forallx-06-fol-prf}
\include{forallx-07-fol-sem}
\include{forallx-08-reference}


\printindex
\end{document}