Leading a burgeoning self-critical moment in composition studies and writing program administration, Postcomposition is a fundamental reconsideration of the field that attempts to shift the focus away from pedagogy and writing subjects and toward writing itself. In this forceful and reasoned critique of many of the primary tenets and widely accepted institutional structures of composition studies, Sidney I. Dobrin delivers a series of shocks to the system meant to disrupt the pedagogical imperative and move beyond the existing limits of the discipline. Dobrin evaluates the current state of composition studies, underscoring the difference between composition and writing and arguing that the field's focus on the administration of writing students and its historically imposed prohibition on theory greatly limit what can be understood about writing. Instead he envisions a more significant approach to writing, one that questions the field's conservative allegiance to subject and administration and reconsiders writing as spatial and ecological. Using concepts from ecocomposition, spatial theory, network theory, complexity theory, and systems theory, Postcomposition lays the groundwork for a networked theory of writing, and advocates the abandonment of administration as a useful part of the field. He also challenges the usefulness of rhetoric in writing studies, showing how writing exceeds rhetoric. Postcomposition is a detailed consideration of how posthumanism affects the field's understanding of subjectivity. It also tears at the seams of the "contingent labor problem." As he articulates his own frustrations with the conservatism of composition studies and builds on previous critiques of the discipline, Dobrin stages a courageous-and inevitably polemical-intellectual challenge to the entrenched ideas and assumptions that have defined composition studies.

Prior to 1862, when the Department of Agriculture was established, the report on agriculture was prepared and published by the Commissioner of Patents, and forms volume or part of volume, of his annual reports, the first being that of 1840. Cf. Checklist of public documents ... Washington, 1895, p. 148.

Reprint of the original, first published in 1874.

This book shows how dominant inflections of key terms in composition reinforce composition's low institutional status and the poor working conditions of many of its instructors and tutors. Horner demonstrates ways to challenge debilitating definitions of these terms and to rework them and their relations to one another in constructive ways.

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.