Natural Deduction, Hybrid Systems and Modal Logics (Bog, Hardback, Engelsk) af Andrzej Indrzejczak
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens fundament
  7. Algoritmer og datastrukturer
  8. Matematisk datateori
  9. Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

(Bog, Hardback, Engelsk)
Forfatter: Andrzej Indrzejczak
Forlag: Springer

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

Algoritmer og datastrukturer Filosofi: logik Kunstig intelligens Matematikkens fundament Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer
Forfatter Andrzej Indrzejczak
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2010 ed.
Udgivelsesdato 11-06-2010
Første udgivelsesår 2010
Serie Trends in Logic
Illustrationer XIV, 492 p.
Originalsprog Netherlands
Sideantal 492
Indbinding Hardback
Forlag Springer
Sideoplysninger 492 pages, XIV, 492 p.
Mål 235 x 155
ISBN-13 / EAN-13 9789048187843