First Page | Document Content | |
---|---|---|
Date: 2014-01-03 08:27:31 | Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias PuechAdd to Reading ListSource URL: www.pps.univ-paris-diderot.frDownload Document from Source WebsiteFile Size: 357,39 KBShare Document on Facebook |