An examination of a decision procedure
Saved in:
Main Authors: | |
---|---|
Published: |
American Mathematical Society,
|
Publisher Address: | New York |
Publication Dates: | 1962. |
Literature type: | Book |
Language: | English |
Series: |
Memoirs of the American Mathematical Society ; no. 44 |
Subjects: | |
Carrier Form: | 148 p.: ; 26 cm. |
Index Number: | ? |
CLC: | ? |
Call Number: | O172.7/CO35 |
Contents: |
Cover title. Includes bibliographical references (p. 148) |