Du sparer 0% ift. normalprisen Spar 0%

Hardback
2-3 uger
1.209,95 kr.

Bag om Labelled Deduction

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.

Vis mere

Sprog:
Engelsk

ISBN:
9780792362371

Forlag:
Springer

Indbinding:
Hardback

Sideantal:
267

Udgivet:
30. April 2000

Udgave:
2000

Størrelse:
170x244x17 mm.

Vægt:
1270 g.

Leveringstid: 2-3 uger.
Forventet levering: 4. Juni 2024

Normalpris

1.209,95 kr. + Fragt
~~1.209,95 kr.~~

Medlemspris

1.159,95 kr.

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

Beskrivelse af Labelled Deduction

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.

Brugerbedømmelser af Labelled Deduction

Andre købte også..

Find lignende bøger

Bogen Labelled Deduction findes i følgende kategorier:

Business og læring > Videnskab

Labelled Deduction - Bog

Beskrivelse af Labelled Deduction

Brugerbedømmelser af Labelled Deduction

Gør som tusindvis af andre bogelskere