Produkt mají v nabídce:
Extensions of First-Order Logic - Manzano, Maria (Universitat de Barcelona)
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.
