Gabbay, D. M.; Guenthner, F.
DDC: Logic
LCC: Philosophy. Psychology. Religion » Logic (BC1-199)
ISBN-13: 9789048157174 | ISBN-10: 904815717X
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: