Back to Results
First PageMeta Content
Logic / 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 Diego
Add to Reading List

Document Date: 2013-03-11 00:53:25


Open Document

File Size: 102,14 KB

Share Result on Facebook
UPDATE