Sergei Artemov

Sergei Artemov

2 books in the database

Books

Logical Foundations of Computer ScienceSergei Artemov

Logical Foundations of Computer Science

Sergei Artemov · 2013

Justification LogicSergei Artemov

Justification Logic

Sergei Artemov · 2019

Co-authored books and collections

Books that list Sergei Artemov among their authors but not as the lead author: co-written works, collections and compilations.

Journal of Applied Logics, Volume 8, Number 8, September 2021. Special IssueValeria De Paiva

Journal of Applied Logics, Volume 8, Number 8, September 2021. Special Issue

Valeria De Paiva · 2021