Releases by Sergei Artemov

In stock at iMusic Show unavailable items

Cover for Sergei Artemov · Justification Logic: Reasoning with Reasons - Cambridge Tracts in Mathematics (Hardcover Book) (2019)

Justification Logic: Reasoning w... (2019)

Cover for Sergei Artemov · Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2012)

Logical Foundations of Computer ... (2012)

Cover for Sergei Artemov · Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2009 edition] (2008)

Logical Foundations of Computer ... (2008)