Boston Common: tale of our owm times,

Mode of access: Internet.

Boston common; scenes from four centuries,

Title vignette.

Dedication of the monument on Boston Common erected to the memory of the men of Boston who died in the Civil War.

Binder's title: Army and Navy Monument Memorial.

Boston, Massachusetts -- Emerald Necklace parks, 1894 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of portion of park system from Common to Franklin Park : including Charles River Basin, Charlesbank, Commonwealth Avenue, Back Bay Fens, Muddy River Improvement, Leverett Park, Jamaica Park, Arborway and Arnold Arboretum, [by] William Jackson, city engineer ; Olmsted, Olmsted & Eliot, landscape architects. It was published in Jan. 1894. Scale [ca. 1:9,000]. Covers Boston parks collectively known as the "Emerald Necklace." The image inside the map neatline is georeferenced to the surface of the earth and fit to the Massachusetts State Plane Coordinate System, Mainland Zone (in Feet) (Fipszone 2001). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, or other information associated with the principal map. This map shows park features such as roads, paths, recreational buildings and facilities, ground cover, and drainage. Also includes features surrounding parks: city roads, railroads, drainage, some public buildings, and more. This layer is part of a selection of digitally scanned and georeferenced historic maps of Massachusetts from the Harvard Map Collection. These maps typically portray both natural and manmade features. The selection represents a range of regions, originators, ground condition dates (1755-1922), scales, and purposes. The digitized selection includes maps of: the state, Massachusetts counties, town surveys, coastal features, real property, parks, cemeteries, railroads, roads, public works projects, etc.

Birds in the bush,

Includes index.

An address to the Board of alderman : and members of the Common council, of Boston, on the organization of the city government, at Faneuil hall, May 1, 1824 /

Mode of access: Internet.

An address to the Board of Aldermen, and members of the Common Council, of Boston, on the organization of the city government, at Faneuil Hall, May 1, 1824.

Amos Sampson printed the Commercial Gazette in May, 1824, following the death of Simon Gardner, April, 1824.

The charter of the city of Boston, and ordinances made and established by the mayor, aldermen, and Common Council, with such acts of the legislature of Massachusetts, as relate to the government of said city /

Mode of access: Internet.

A liturgy for the use of the church at King's Chapel in Boston; collected principally from the Book of Common prayer.

Published in 1850 under title: Book of common prayer, according to the use of King's chapel, Boston.

Official papers, printed for the Common Council of the City of Boston : comprising the Constitution of the United States, and the Constitution of Massachusetts, with the amendments ; City and police acts, acts relating to the Board of Health, overseers of the poor, and firewards, together with an act providing for the assessment of taxes.

Mode of access: Internet.

A liturgy for the use of the church at King's Chapel in Boston : collected principally from the Book of Common prayer.

Published in 1850 under title: Book of common prayer, according to the use of King's Chapel, Boston.

Manual of mutual instruction; consisting of Mr. Fowle's directions for introducing in common schools the improved system adopted in the Monitorial school, Boston. With an appendix, containing some considerations in favor of the monitorial method, and a sketch of its progress.

Mode of access: Internet.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.