A computational Logic.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
New York
Academic Pr.
1979
|
| Series: | ACM Monograph Series.
|
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 113157 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Boyer, Robert S. | |
| 245 | 1 | 0 | |a A computational Logic. |
| 246 | 3 | |a BOYER,Robert S.. | |
| 264 | 1 | |a New York |b Academic Pr. |c 1979 | |
| 300 | |a XIV, 397 S. |b m.1 Fig. |c 8° | ||
| 490 | 0 | |a ACM Monograph Series. | |
| 500 | |a 427.488 -- BOYER,Robert S..- -- A computational Logic.Robert S.Boyer and -- J.Strother Moore. - New York[usw.]:Academic -- Pr.(1979). XIV,397 S.m.1 Fig. 8° -- (ACM Monograph Series.) -- 1982:4686/gb. Ps. | ||
| 700 | 1 | |a Moore, J. Strother | |
| 852 | |c 427.488 | ||
| 999 | |a Monographie | ||
| 591 | |a description: A computational Logic.Robert S.Boyer andJ.Strother Moore. New Yorkusw.j:AcademicPr. 1979 . XIV,397 S.m.l Fig. 8 ACM Monograph Series. 1982:4686gb. PS. |a signature: 427.488 |a author: BOYER, Robert S.. |a published: 1982 | ||