This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an o
This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily at logisticians in mathematics, philosophy, computer science and
This book clearly details the theory of groups of finite Morley rank--groups which arise in model theory and generalize the concept of algebraic groups over algebraically closed fields. Written especi
Is the continuum hypothesis still open? If we interpret it as finding the laws of cardinal arithmetic (or exponentiation, since addition and multiplication were classically solved), the hypothesis wou
Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures
The book covers elementary aspects of category theory and topos theory for graduate students in mathematics, computer science, and logic; it has few mathematical prerequisites, and uses categorical me
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer s
This book gives an account of the fundamental results in geometric stability theory, a subject that has grown out of categoricity and classification theory. This approach studies the fine structure of
The limits of one-dimensional theory are strikingly revealed in the schools that the founders of the major sociological traditions established. In this volume Max Weber is presented as the theorist wh
In this volume the author maintains that sociology must learn to combine the insights of both Durkheim and Marx and that it can only do so on the presuppositional ground that Weber set forth. Alexande
An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and phil