Waubonsee Community College

Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-Tung Lee

Type

http://bibfra.me/vocab/lite/Instance

Label

Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-Tung Lee

Isbn

9780121703509

Lccn

72088358

Physical Description

xiii, 331 pages, illustrations, 24 cm.

System control number

(Sirsi) 54667(OCoLC)00658102

Cover Art

Instantiates

Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-Tung Lee

Provider

Academic Press, New York, 1973

Access location

Table of contents

Carrier category

volume

Media category

unmediated

Mapped to

Incoming Resources

Item of
1
- Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-Tung Lee

Outgoing Resources

Instantiates
1
- Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-Tung Lee
Provider
1
- Academic Press, New York, 1973
Access location
1
- Table of contents
Carrier category
1
- volume
Media category
1
- unmediated
Mapped to
2
- 9780121703509
- 72088358