num_pages: 251
description: Two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and metatheory. Features easy-to-understand explanations and graded exercises.
language: English
title: A Modern Formal Logic Primer: Predicate Logic & Metatheory Vol 2
publisher: Prentice Hall