Gabbay, D. M.; Guenthner, F.

Handbook of Philosophical Logic

Springer
€ 225,62

Nog niet verschenen

This volume contains major contributions on predicate logic, first- and second-order logic, higher-order logic, algorithms and decision problems, and the mathematics of logic programming.

Ingenaaid | 385 pagina's | Engels
2e druk | Verschenen in 2014
Rubrieken:

  • DDC: Logic
  • LCC: Philosophy. Psychology. Religion » Logic (BC1-199)
  • ISBN-13: 9789048157174 | ISBN-10: 904815717X