พื้นฐาน

This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an e …

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-or …

This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon …

This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of moder …

In this volume, different aspects of logics for dependence and independence are discussed, including both the  logical and computational aspects of dependence logic, and also applications   …

This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his caree …

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, …

Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice.  However, his papers also include pioneering work …

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subj …