Name: Labelled Non-Classical Logics
Price: 1680.95 DKK
Availability: InStock
Author: Luca Viganò
ISBN: 9781441949622

Labelled Non-Classical Logics af Luca Viganò

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.680,95 kr.

Bag om Labelled Non-Classical Logics

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.

Vis mere

Sprog:
Engelsk

ISBN:
9781441949622

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
292

Udgivet:
3. december 2010

Udgave:
12000

Størrelse:
235x155x16 mm.

Vægt:
474 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. november 2024

Normalpris

BLACK NOVEMBER
1.680,95 kr. + Fragt
~~1.680,95 kr.~~

Medlemspris

1.630,95 kr.

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

Bag om Luca Viganò

Vis alle bøger af Luca Viganò

Beskrivelse af Labelled Non-Classical Logics

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.

Brugerbedømmelser af Labelled Non-Classical Logics

Andre købte også..

Find lignende bøger

Bogen Labelled Non-Classical Logics findes i følgende kategorier:

Labelled Non-Classical Logics - Luca Viganò - Bog

Bag om Luca Viganò

Beskrivelse af Labelled Non-Classical Logics

Brugerbedømmelser af Labelled Non-Classical Logics

Gør som tusindvis af andre bogelskere