Name: Revision, Acceptability and Context
Price: 1611.95 DKK
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9783642264306

Revision, Acceptability and Context af Dov M. Gabbay

Du sparer 0% ift. normalprisen Spar 0%

Bag om Revision, Acceptability and Context

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.

Vis mere

Sprog:
Engelsk

ISBN:
9783642264306

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Paperback

Sideantal:
386

Udgivet:
13. oktober 2012

Udgave:
2010

Størrelse:
235x155x20 mm.

Vægt:
605 g.

Leveringstid: 1-2 uger.
Forventet levering: 15. januar 2025

Forlænget returret til d. 31. januar 2025

Kan ikke leveres inden jul.
Køb nu og print et gavebevis

Normalpris

1.611,95 kr. + Fragt
~~1.611,95 kr.~~

Medlemspris

1.561,95 kr.

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

Bag om Dov M. Gabbay

Vis alle bøger af Dov M. Gabbay

Beskrivelse af Revision, Acceptability and Context

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.

Brugerbedømmelser af Revision, Acceptability and Context

Andre købte også..

Find lignende bøger

Bogen Revision, Acceptability and Context findes i følgende kategorier:

Business og læring > Computer og IT

Revision, Acceptability and Context - Dov M. Gabbay - Bog

Bag om Dov M. Gabbay

Beskrivelse af Revision, Acceptability and Context

Brugerbedømmelser af Revision, Acceptability and Context

Gør som tusindvis af andre bogelskere