Name: Hybrid Logic and its Proof-Theory
Price: 1222.95 DKK
Availability: InStock
Author: Torben Brauner
ISBN: 9789400734357

Hybrid Logic and its Proof-Theory af Torben Brauner

Du sparer 0% ift. normalprisen Spar 0%

Bag om Hybrid Logic and its Proof-Theory

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

Vis mere

Sprog:
Engelsk

ISBN:
9789400734357

Forlag:
Springer

Indbinding:
Paperback

Sideantal:
231

Udgivet:
27. december 2012

Udgave:
2011

Størrelse:
235x155x13 mm.

Vægt:
385 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

Normalpris

BLACK WEEK
1.222,95 kr. + Fragt
~~1.222,95 kr.~~

Medlemspris

1.172,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Torben Brauner

Vis alle bøger af Torben Brauner

Beskrivelse af Hybrid Logic and its Proof-Theory

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

Brugerbedømmelser af Hybrid Logic and its Proof-Theory

Andre købte også..

Find lignende bøger

Bogen Hybrid Logic and its Proof-Theory findes i følgende kategorier:

Hybrid Logic and its Proof-Theory - Torben Brauner - Bog

Bag om Torben Brauner

Beskrivelse af Hybrid Logic and its Proof-Theory

Brugerbedømmelser af Hybrid Logic and its Proof-Theory

Gør som tusindvis af andre bogelskere