%0 Book %1 noauthororeditor %A Beck, Matthias %A Geoghegan, Ross %D 2011 %K mathematics proof-systems %T The Art Of Proof Basic Training For Deeper Mathematics %U http://math.sfsu.edu/beck/papers/aop.noprint.pdf

@book{noauthororeditor, added-at = {2020-08-26T23:30:49.000+0200}, author = {Beck, Matthias and Geoghegan, Ross}, biburl = {https://www.bibsonomy.org/bibtex/23b28c44806416607a1a54e9f89ac0daf/kirk86}, description = {aop.noprint.pdf}, interhash = {6a5d2f55469eb1d75ad0b0b60fd7f726}, intrahash = {3b28c44806416607a1a54e9f89ac0daf}, keywords = {mathematics proof-systems}, timestamp = {2020-08-26T23:30:49.000+0200}, title = {The Art Of Proof Basic Training For Deeper Mathematics}, url = {http://math.sfsu.edu/beck/papers/aop.noprint.pdf}, year = 2011 }