Extensions of First-Order Logic - Maria Manzano - Paperback Bog - Cambridge University Press - 2005 - Engelsk - Booktok.dk
Brand: Cambridge University Press
Description
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.
