Advertisement

On a proof by Arbib, Kfoury, and Moll

Part 0 Summaries ofthe expositional essays
Part of the Lecture Notes in Computer Science book series (LNCS, volume 445)

Abstract

This chapter discusses an extreme example of the harm done by the introduction of nomenclature that forces the making of avoidable distinctions, in particular the introduction of subscripted variables. In addition it illustrates some consequences of neglecting equivalence as a connective in its own right.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Personalised recommendations