ISBN 9788185636344,Fundamentals Of Logic

Fundamentals Of Logic

Rs360 Rs450 20% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9788185636344
Check delivery information
 
ISBN 9788185636344
Publisher

Munshiram Manoharlal Publishers Pvt Ltd

Publication Year 1998
ISBN-13

ISBN 9788185636344

ISBN-10 8185636346
Binding

Hard Back

Number of Pages 325 Pages
Language (English)
Subject

Religion: general

This book addresses problem like: 1. Can we prove all that is true? 2. Can symbolic manipulation capture everything? 3. Is there a general method to solve a class of solvable problems? 4. Is mathematics contradictory? To answer these fundamental questions, it comes up with results such as Deduction, reductio ad absurdum, Monotonicity. Compactness, Completeness, Undecidability and Incompleteness as expounded in the works of Herbrand, Godel, Skolem, Lowenheim, Beth, Tarski, Post, Turing and others. It deals with the logics of sentences and predicates as formal languages giving stress on formal languages giving stress on formal semantics. It considers major styles of presenting these logics such as axiomatics, Gentzen systems, analytic tableaux, resolution refutation as various proof techniques. However it requires nothing from the reader but a mere willingness to remain logical and have a fearless attitude towards precise use of symbols.

More from Author

Scroll