Lecture notes in logic

Series

Browse all works related to Lecture notes in logic.

"331" Result

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in …