Logics of Proofs and Justifications

Name: Logics of Proofs and Justifications
Brand: College Publications
SKU: 9781848901681
Price: 8818 HUF
Availability: InStock

Szerző: Roman Kuznets, Thomas Studer

Nyelv:

Kötés: Puha kötésű

Kiadó: College Publications

Elérhetőség: Beszállítói készleten

Küldés 14-21 napon belül

8 818 Ft

Justification logics are closely related to modal logics and can be viewed as a refinement of the la...

Információk a könyvről

Szerző

Roman Kuznets, Thomas Studer

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2019

oldal

246

EAN

9781848901681

ISBN

1848901682

Enbook ID

22379973

Kiadó

College Publications

Súly

382

Méretek

156 x 234 x 12

Teljes leírás

Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logics of Proofs and Justifications

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták