Name: Hybrid Logic and its Proof-Theory
Price: 1221.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: 2-3 uger.
Forventet levering: 22. Maj 2024

Normalpris

1.221,95 kr. + Fragt
~~1.221,95 kr.~~

Medlemspris

1.171,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