%0 Journal Article %1 max-width:767px).a-visible-phonedisplay:inherit!important.a-hidden-phonedisplay:none!important.a-hidden-desktopdisplay:inherit!important.a-visible-desktopdisplay:none!important@media %A Pfenning, Frank %D 2019 %K 03b15-higher-order-logic-type-theory 03b35-mechanization-of-proofs-and-logical-operations %T Computation and Deduction

@article{max-width:767px){.a-visible-phone{display:inherit!important}.a-hidden-phone{display:none!important}.a-hidden-desktop{display:inherit!important}.a-visible-desktop{display:none!important}}@media, added-at = {2019-08-08T08:36:19.000+0200}, author = {Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/21cf8d69296fe8261280c67d461b064cf/gdmcbain}, description = {Computation and Deduction: Frank Pfenning: 9780521772655: Amazon.com: Books}, interhash = {a98c14d2c8829b78f5f34be7498608bc}, intrahash = {1cf8d69296fe8261280c67d461b064cf}, keywords = {03b15-higher-order-logic-type-theory 03b35-mechanization-of-proofs-and-logical-operations}, timestamp = {2019-08-08T08:36:19.000+0200}, title = {Computation and Deduction }, year = 2019 }