Jon Barwise and John Etchemendy, Language, Proof, and Logic, Seven Bridges Press and CSLI, 1999.
Fitch (named after Frederic Brenton Fitch) - a natural deduction proof environment for giving and checking first-order proofs;
Frédéric Chopin | Abercrombie & Fitch | Frederic Rzewski | Frederic Remington | Frédéric Joliot-Curie | George Frederic Watts | Frédéric Artru | Frederic William Maitland | Frederic Hymen Cowen | Clyde Fitch | Jean-Frédéric Phélypeaux, Count of Maurepas | Howard Brenton | Frederic Louis Norden | Frédéric Belaubre | Frédéric Beigbeder | Frederic Edwin Church | Frédéric de Coninck | Frédéric Auguste Bartholdi | Fitch Ratings | Jon Fitch | Henry Fitch Taylor | George B. Fitch | Frederic Weatherly | Frederic Township, Michigan | Frederic Thesiger, 2nd Baron Chelmsford | Frederic Reynolds | Frédéric Prinz von Anhalt | Frédéric Passy | Frederic Fox | Frédéric Courant |