Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
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.