Pratt-Hartmann Fragments of First-Order Logic - Oxford University PressOxford University Press 2023 ISBN: 9780191960062 Source: EBOOK