2 books • 1 series
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
A Mathematical Primer on Computability