E-mail a Wiley Online Library Link

Pimpen Vejjajiva Extended Curry-Howard terms for second-order logic Mathematical Logic Quarterly 59

Article first published online: 5 AUG 2013 | DOI: 10.1002/malq.201100102

Complete the form below and we will send an e-mail message containing a link to the selected article on your behalf

Required = Required Field