First Page | Document Content | |
---|---|---|
Date: 2008-06-10 09:27:49Modus ponens Inference Rule of inference Natural deduction Structural proof theory Logic Proof theory Sequent | Summary of Mathematical Notation Jean-Raymond Abrial (ETHZ) March 2008 Purpose of this PresentationAdd to Reading ListSource URL: www.fm2008.abo.fiDownload Document from Source WebsiteFile Size: 313,81 KBShare Document on Facebook |