Sergei Artemov
Identifiers
- Open LibraryOL7574373A
Top Subjects
- Computers, congresses (1)
- Electronic data processing (1)
- Logic, symbolic and mathematical (1)
Books by Sergei Artemov
Total count: 3
-
Logical Foundations of Computer ScienceInternational Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Justification LogicReasoning with ReasonsCambridge University Press2019-01-01
-
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special IssueIntuitionistic Modal Logic and ApplicationsCollege Publications2021-01-01