Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Kirjat - Springer - 9789400734357 - keskiviikko 2. tammikuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition

Torben Brauner

Hinta
CA$ 164,99

Tilattu etävarastosta

Arvioitu toimitus to - pe 13. - 21. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition

In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

231 pages, 37 black & white tables, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 2. tammikuuta 2013
Alunperin julkaistu 2012
ISBN13 9789400734357
Tuottaja Springer
Sivujen määrä 231
Mitta 155 × 235 × 13 mm   ·   353 g
Kieli English  

Katso kaikki joka sisältää Torben Brauner ( Esim. Hardcover Book Ja Paperback Book )