Second Edition edition
Hardback (01 Mar 2010)
Not available for sale
Out of stock
The second edition of Introduction to Mathematical Logic and Resolution Principle discusses Boolean algebra theory, propositional calculus and predicated calculus theory, resolution principle theory and the latest theory of multivalue logic. The book also includes supplement or alternations on the proof of the completion of K in first-order system, concerning "Quantitative Logic".
| ISBN: | 9781842655665 |
| Publisher: | Alpha Science International |
| Imprint: | Alpha Science International |
| Pub date: | 01 Mar 2010 |
| Edition: | Second Edition edition |
| Language: | English |
| Number of pages: | 346 |
| Weight: | 650g |
| Height: | 240mm |
| Width: | 160mm |
| Spine width: | 19mm |
$1.81off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.81
$1.31off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.31
Is Maths Real?
Paperback
Published 06 Jun 2024
$2.75off
How to Prove It
Paperback
Published 18 Jul 2019
Save $2.75
The Art of Logic
Paperback
Published 04 Jul 2019
How to Expect the Unexpected
Paperback
Published 15 Aug 2024
First-Order Logic
Paperback
Published 01 Feb 2000
$55.46off
Classical and Nonclassical Logics
Hardback
Published 20 Sep 2005
Save $55.46
Handbook of Mathematical Fuzzy ...
Paperback
Published 21 Dec 2011
