%0 Journal Article %1 noauthororeditor %A Lehman, Eric %A Leighton, F. Thomson %A Meyer, Albert R %D 2010 %K book course lecture mathematics proof-systems %T Mathematics for Computer Science %U https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/readings/MIT6_042JF10_notes.pdf

@article{noauthororeditor, added-at = {2019-11-08T18:01:00.000+0100}, author = {Lehman, Eric and Leighton, F. Thomson and Meyer, Albert R}, biburl = {https://www.bibsonomy.org/bibtex/2fd8378cf44c17440b8ce4ad2dac47b33/kirk86}, description = {6.042J Complete course notes}, interhash = {014f5724f681c537553b4c820a0c75b5}, intrahash = {fd8378cf44c17440b8ce4ad2dac47b33}, keywords = {book course lecture mathematics proof-systems}, timestamp = {2019-11-08T18:02:24.000+0100}, title = {Mathematics for Computer Science}, url = {https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/readings/MIT6_042JF10_notes.pdf}, year = 2010 }