This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, ...

Herbert B. Enderton wrote the standard university textbook on mathematical logic. At Yale I worked through this dense and enlightening work with the help of the remarkable professor Sun-Joo Shin. I ...

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...

ABSTRACT: This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and ...

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming ...

Learn more about the history, foundations, and applications of fuzzy logic in this comprehensive resource by an academic leader Introduction to Fuzzy Logic delivers a high-level but accessible ...

ABSTRACT: The present paper submits a result of applying a hitherto unknown logically formalized axiomatic axiology-and-epistemology theory “Sigma+V” to the relativity principle formulated by Galileo ...