Mathematical logic books

The advanced concepts and applications of fuzzy logic are elucidated in this comprehensive book. This book presents...  Read More >>

 Read More >>

This book pays homage to Professor Lotfi A. Zadeh, the ""father of fuzzy logic"" gathering accounts of personal...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal...  Read More >>

 Read More >>

McGraw-Hill Connect is a digital teaching and learning environment that saves students and instructors time while...  Read More >>

 Read More >>

 Read More >>

Mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on...  Read More >>

The papers cover a wide range of topics including program verification, model checking, abstract interpretation,...  Read More >>

This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles...  Read More >>

2014 Reprint of Original 1941 Edition. Exact facsimile of the original edition, not reproduced with Optical Recognition...  Read More >>

Kakuro is played on a grid of filled and barred cells, black and white respectively. Apart from the top row...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on...  Read More >>

Griddlers puzzles, also known as Griddlers or Nonograms, are picture logic puzzles in which cells in a grid have...  Read More >>

Griddlers puzzles, also known as Griddlers or Nonograms, are picture logic puzzles in which cells in a grid have...  Read More >>

Griddlers puzzles, also known as Picross or Nonograms, are picture logic puzzles in which cells in a grid have to...  Read More >>

Symbolic Logic: Part 1, Elementary. By Lewis Carroll  Read More >>

This book is designed to prepare students for higher mathematics by focusing on the development of theorems and...  Read More >>

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic,...  Read More >>

2a Edicion. 101 problemas de logica con soluciones y de regalo en el mismo libro varias adivinanzas. La logica Es...  Read More >>

 Read More >>

Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based...  Read More >>

M-Solid Varieties of Algebras provides a complete and systematic introduction to the fundamentals of the hyperequational...  Read More >>