First Page | Document Content | |
---|---|---|
Date: 2016-06-13 13:02:27Mathematical logic Logic Computability theory Theory of computation Proof theory Hierarchy Lambda calculus Theoretical computer science Consistency Propositional calculus Calculus Arithmetical hierarchy | Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549Add to Reading ListSource URL: satprepget800.comDownload Document from Source WebsiteFile Size: 226,50 KBShare Document on Facebook |