Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  5. Labelled Deduction

Labelled Deduction

del av Applied Logic Series-serien

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780792362371
  • Format:
  • Inbunden
  • Sidor:
  • 267
  • Utgiven:
  • 30. april 2000
  • Utgåva:
  • 2000
  • Mått:
  • 170x244x17 mm.
  • Vikt:
  • 1270 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 29. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

Beskrivning 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.

Användarnas betyg av Labelled Deduction



Andra köpte även...
Hitta liknande böcker
Boken Labelled Deduction finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.