Classical First-Order Logic

Shapiro/Kissel

Classical First-Order Logic - Cambridge University Press Cambridge University Press 2022

9781108982009

EBOOK