An examination of a decision procedure / [electronic resource] by Francis C. Oglesby.

By:

Material type: Text

TextSeries: Memoirs of the American Mathematical Society ; no. 44.Publication details: Providence, R.I. : American Mathematical Society, 1962 (1971 printing)Description: 1 online resource (148 p.)ISBN:

Subject(s):

Additional physical formats: examination of a decision procedure /LOC classification:

Online resources:

Contents:

Introduction 1 2 3 4 5 6

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library		Available

Total holds: 0

Includes bibliographical references.

Introduction 1 2 3 4 5 6

Access is restricted to licensed institutions

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Mode of access : World Wide Web

Description based on print version record.