Date: 2013-03-11 00:53:25Logic Formal sciences Frege system Propositional calculus IEEE Symposium on Logic in Computer Science Mathematical logic Logic programming Proof theory Samuel Buss Theoretical computer science Logic in computer science Mathematics | | Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San DiegoAdd to Reading ListSource URL: euclid.ucsd.eduDownload Document from Source Website File Size: 102,14 KBShare Document on Facebook
|