Mathematical logic books

This book has been deemed as a classic and has stood the test of time. The book has been considered by academicians...  Read More >>

First published in 1990, this book consists of a detailed exposition of results of the theory of ""interpretation""...  Read More >>

 Read More >>

 Read More >>

This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting...  Read More >>

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this...  Read More >>

This book presents a collection of contributions from related logics to applied paraconsistency. The book includes...  Read More >>

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated...  Read More >>

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical...  Read More >>

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory,...  Read More >>

— CHOICE “The author presents the field of ordered sets in an attractive way and the many open problems presented...  Read More >>

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations...  Read More >>

This book covers new aspects and frameworks of control, design, and optimization based on the TP model transformation...  Read More >>

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium...  Read More >>

 Read More >>

 Read More >>

 Read More >>

This book focuses on image based security techniques, namely visual cryptography, watermarking, and steganography....  Read More >>

Excerpt: ...in the same sense. It sometimes happens, owing to the ambiguity of words, that there seem to be three...  Read More >>

 Read More >>

 Read More >>

This book is open access under a CC BY 4.0 license.This book addresses the age-old problem of infinite regresses...  Read More >>

Oceanic logic was never identified as such, but the author gives numerous examples of its use from the history of...  Read More >>

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets,...  Read More >>

 Read More >>