What do you think?
Rate this book
Fundamentals of Logic
This book addresses problems Can we prove all that is ture? Can symbolic manipulation capture everything? Is there a general method to solve a class of solvable problems? Is Mathematics contradictory? To answer these fundamental questions, the book comes up with results such as Deduction, Monotonicity, Compactness, Undecidability, and Incompleteness. It deals with the logics of sentences and predicates as 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.
312 pages, Hardcover
First published January 1, 1998
6 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
July 22, 2009
I dont know who is this author, perhaps unknown.
Again, I liked this book the most just as I liked the other book by the same author: elements of computation theory. This book is co-authored by Chinmoy Goswami. This is the first ever book I read which is rigorous and at the same time, intuitive enough to understand logic. And it contains also the celebrated theorem of Goedel, oh. So well written. A model to follow. Congrats for writing such a beautiful book.
Again, I liked this book the most just as I liked the other book by the same author: elements of computation theory. This book is co-authored by Chinmoy Goswami. This is the first ever book I read which is rigorous and at the same time, intuitive enough to understand logic. And it contains also the celebrated theorem of Goedel, oh. So well written. A model to follow. Congrats for writing such a beautiful book.
Displaying 1 of 1 review