Extensions of First-Order Logic (Bog, Paperback / softback, Engelsk) af Maria (Universitat de Barcelona) Manzano
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Extensions of First-Order Logic

Extensions of First-Order Logic

(Bog, Paperback / softback, Engelsk)
Forfatter: Maria (Universitat de Barcelona) Manzano
Extensions of First-Order Logic
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Maria (Universitat de Barcelona) Manzano
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 22-08-2005
Første udgivelsesår 2005
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 412
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 412 pages, Worked examples or Exercises
Mål 244 x 170 x 21
ISBN-13 / EAN-13 9780521019026