Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Labelled Deduction
del av Applied Logic Series-serien
- Bindende:
- Hardback
- Sider:
- 267
- Utgitt:
- 30 April 2000
- Utgave:
- 2000
- Dimensjoner:
- 170x244x17 mm.
- Vekt:
- 1270 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 16 juli 2024
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
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Labelled Deduction finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
