DETALII
Citeste mai mult
Descriere RO
Thirdly, several chapters are dedicated to a discussion of Constructive Type Theory and more generally of the proof-theoretical notion of meaning.Finally, the book brings together studies on the epistemic role of abduction and argumentation theory, both linked to non-monotonic approaches to the dynamics of knowledge.
EdituraSpringer International Publishing AG
Dimensiuni235 x 155
Data Publicarii26/05/2018
FormatNecartonata
Numar pagini554
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.