Download the Free Fishpond App!
Download on the App Store

Android App on Google play
Introduction to Mathematical Logic and Resolution Principle

Already own it?

Sell Yours
Home » Books » Science » Mathematics » Logic

Introduction to Mathematical Logic and Resolution Principle

By Guo-Jun Wang, Zhou Hong-Jun

Free shipping Australia wide
Ships from UK
Order Now for Christmas with e-Gift
Register or sign-in to rate and get recommendations.
Format: Hardback, 346 pages, 2nd Revised edition Edition
Published In: United Kingdom, 01 March 2010
Introduction to Mathematical Logic Resolution Principle, Second Edition, in nine chapters, 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".

Table of Contents

Preface / Preliminaries / Propositional Calculus / Semantics of First Order Predicate Calculus / Syntax of First Order Predicate calculus / Skolem's Standard Forms and Herbrand's Theorems / Resolution Principle / Refinements of Resolution / Many-Valued Logic Calculi / Quantitative Logic / Bibliography / Index.

About the Author

Guo-Jun Wang / Hong-Jun Zhou

EAN: 9781842655665
ISBN: 1842655663
Publisher: Alpha Science International Ltd
Dimensions: 24 x 16 centimetres (0.51 kg)
Age Range: 15+ years
Tell a friend

Their Email:

Sell Yours

Already own this item?
Sell Yours and earn some cash. It's fast and free to list! (Learn More.)

Review this Product


Related Searches


Webmasters, Bloggers & Website Owners

You can earn a 5% commission by selling Introduction to Mathematical Logic and Resolution Principle on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep!



Are you the Author/Publisher? Improve sales by submitting additional information on this title.


This item ships from and is sold by Fishpond World Ltd.