Rahva Raamat logo
Categories
triangle icon
Rahva Raamat logo
Categories
Books
triangle icon
Audiobooks
triangle icon
E-books
triangle icon
Games
triangle icon
Stationery
triangle icon
Gifts
triangle icon
Music & Movies
triangle icon
Electronics
triangle icon
Special offers!
triangle icon
delivery icon

Shipping is free

home icon

Introduction to Metalogic

Introduction to Metalogic
gallery icon
Gallery

Introduction to Metalogic

Offers an accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems.
basket icon

Permanently out of stock