Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Grāmatas - Springer - 9789400700017 - 2010. gada 30. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 117,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 25. sept.
Saņemiet paziņojumus par jauniem Torben Brauner izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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).

244 pages, 37 black & white tables, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2010. gada 30. novembris
ISBN13 9789400700017
Izdevēji Springer
Lapas 231
Izmēri 339 × 242 × 19 mm   ·   498 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Torben Brauner