Norges billigste bøker

Labelled Deduction

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780792362371
  • Bindende:
  • Hardback
  • Sider:
  • 267
  • Utgitt:
  • 30. april 2000
  • Utgave:
  • 2000
  • Dimensjoner:
  • 170x244x17 mm.
  • Vekt:
  • 1270 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

Beskrivelse av 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.

Brukervurderinger av Labelled Deduction



Finn lignende bøker
Boken Labelled Deduction finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.