Cover Image

Handbook of philosophical logic /

Show other versions (3)
Bibliographic Details
Other Authors: Gabbay, Dov M., 1945-, Guenthner, Franz
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer Academic Publishers, ©2001-<©2011>
Dordrecht : Springer. [date of publication not identified]
Edition:2nd ed.
Subjects:
Logic.
Logica.
Logik.
Table of Contents:
  • Elementary Predicate Logic / Wilfrid Hodges 1
  • Systems Between First-order and Second-order Logic / Stewart Shapiro 131
  • Higher-Order Logic / Johan van Benthem, Kees Doets 189
  • Algorithms and Decision Problems: A Crash Course in Recursion Theory / Dirk van Dalen 245
  • Mathematics of Logic Programming / Hans Dieter Ebbinghaus, Jorg Flum 313.