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. INDICE: Editorial Preface; D.M. Gabbay. Elementary Predicate Logic; W. Hodges. Systems Between First- and Second-order Logic; S. Shapiro. Higher-OrderLogic; J. van Benthem, K. Doets. Algorithms and Decision Problems: A Crash Course in Recursion Theory; D. van Dalen. Mathematics of Logic Programming; H.D. Ebbinghaus, J. Flum. Index.
- ISBN: 978-90-481-5717-4
- Editorial: Springer
- Encuadernacion: Rústica
- Fecha Publicación: 31/03/2012
- Nº Volúmenes: 1
- Idioma: Inglés