Symbolic Logic and Mechanical Theorem Proving

By:	Chin-Liang Chang; Richard Char-Tung Lee
Publisher:	Elsevier S & T
Print ISBN:	9780121703509
eText ISBN:	9780080917283
Edition:	0
Format:	bananas

Select an option

eBook Features

Instant Access

Purchase and read your book immediately

Access your eTextbook anytime and anywhere

Built-in study tools like highlights and more

Listen and follow along as Bookshelf reads to you

Details

Table of Contents