SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING by Chang, Chin-Liang ISBN 0121703509

From Student Book World

Contents 1 SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING 1.1 Book Details 1.1.1 Title 1.1.2 Author 1.1.3 ISBN 1.1.4 Published 1.1.5 Publisher 1.1.6 Binding 1.1.7 Retail Price 1.1.8 Typical Price Online 2 Buy Book Online

[edit] SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4 9 introduce several techniques in mechanical theorem p

[edit] Book Details

[edit] Title

SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING

[edit] Author

Chang, Chin-Liang

[edit] ISBN

0121703509

[edit] Published

15/06/1973

[edit] Publisher

Lightning Source UK Ltd

[edit] Binding

hardback

[edit] Retail Price

39.99 (GBP)

[edit] Typical Price Online

39.99 (GBP)

[edit] Buy Book Online

If you wish to purchase SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING, written by Chang, Chin-Liang and published by Lightning Source UK Ltd on 15/06/1973 then we have listed a few select online book retailers who can provide good value and service.

	ISBN 0121703509 BUY NOW

This section is supported by pay as you go sim card providers; IDT Mobile, Nomi Mobile , Lebara Mobile and Planet Talk Instant Dial Service.