Symbolic Logic and Mechanical Theorem Proving / Chin-Liang CHANG

Public ISBD Title : Symbolic Logic and Mechanical Theorem Proving Material Type: printed text Authors: Chin-Liang CHANG ; Richard Char-tung LEE Publisher: New York : Academic Press Publication Date: 1973 Series: Computer science and applied mathematics General note: Pergam ID: MF 6135 Languages : English (eng) Descriptors: Matematika Symbolic Logic and Mechanical Theorem Proving [printed text] / Chin-Liang CHANG ; Richard Char-tung LEE . - New York : Academic Press, 1973. - (Computer science and applied mathematics) . Pergam ID: MF 6135 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
20.124	20.124	$r non conforme --	fond	fond	u fondu Available

---

1 (1 - 1 / 1)