Journal of Logic and Computation

Journal of Logic and Computation 2004 14(4):621-622; doi:10.1093/logcom/14.4.621
© 2004 by Oxford University Press

This Article Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by de Paiva, V. Articles by Mendler, M. Search for Related Content Social Bookmarking          What's this?

Forthcoming Papers

Valeria de Paiva, Rajeev Goré, and Michael Mendler

You have reached the most complete version of this article accessible without further authentication. More complete versions are available. Link to article

CiteULike    Connotea    Del.icio.us    What's this?

This Article Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by de Paiva, V. Articles by Mendler, M. Search for Related Content Social Bookmarking          What's this?