%0 Book %1 noauthororeditor %A Krantz, Steven G. %D 2007 %K book mathematics proof-systems %T The Proof is in the Pudding %U https://www.math.wustl.edu/~sk/books/proof.pdf

@book{noauthororeditor, added-at = {2019-11-04T00:05:58.000+0100}, author = {Krantz, Steven G.}, biburl = {https://www.bibsonomy.org/bibtex/2cf6b4a1ccce83f0313211cdc4f1d620e/kirk86}, description = {proof.DVI}, interhash = {8a83113cf952a7ad43bdbdcea2141c70}, intrahash = {cf6b4a1ccce83f0313211cdc4f1d620e}, keywords = {book mathematics proof-systems}, timestamp = {2019-11-04T00:06:43.000+0100}, title = {The Proof is in the Pudding}, url = {https://www.math.wustl.edu/~sk/books/proof.pdf}, year = 2007 }