Herbrand Award Acceptance Speech Export

@article{citeulike:149372, abstract = { This is a slightly enhanced version of the acceptance speech given by the author after receiving the Herbrand Award at the 19th International Conference on Automated Deduction (CADE-19) in Miami, Florida, on August 1, 2003. Historical matters related to Herbrand\&\#039;s theorem, higher-order logic, and the author\&\#039;s work are discussed. Contributions by others that have been helpful to the author are noted.}, author = {Andrews, P. B.}, citeulike-article-id = {149372}, citeulike-linkout-0 = {http://dx.doi.org/10.1023/B:JARS.0000009552.54063.f3}, citeulike-linkout-1 = {http://www.ingentaconnect.com/content/klu/jars/2003/00000031/00000002/05256402}, doi = {10.1023/B:JARS.0000009552.54063.f3}, issn = {0168-7433}, journal = {Journal of Automated Reasoning}, keywords = {herbrand, history\_of\_logic}, number = {2}, pages = {169--187}, posted-at = {2005-04-04 23:47:28}, priority = {0}, title = {Herbrand Award Acceptance Speech}, url = {http://dx.doi.org/10.1023/B:JARS.0000009552.54063.f3}, volume = {31}, year = {2003} }

TY - JOUR ID - citeulike:149372 L3 - citeulike-article-id:149372 N2 - This is a slightly enhanced version of the acceptance speech given by the author after receiving the Herbrand Award at the 19th International Conference on Automated Deduction (CADE-19) in Miami, Florida, on August 1, 2003. Historical matters related to Herbrand's theorem, higher-order logic, and the author's work are discussed. Contributions by others that have been helpful to the author are noted. IS - 2 JF - Journal of Automated Reasoning SN - 0168-7433 EP - 187 TI - Herbrand Award Acceptance Speech VL - 31 SP - 169 KW - herbrand KW - history_of_logic AU - Andrews, PB PY - 2003/// UR - http://dx.doi.org/10.1023/B:JARS.0000009552.54063.f3 ER -