Handbook of Philosophical Logic
by:
Dov M. Gabbay (author)
This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. Audience: Students and researchers whose work or interests involve philosophical...
show more
This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.
show less
Format: hardcover
ISBN:
9780792370185 (079237018X)
Publish date: June 30th 2001
Publisher: Springer
Pages no: 385
Edition language: English