Books by Sergei Artemov

2 titles available, newest first by original publication date.

Justification Logic

Sergei Artemov

$173.99

Logical Foundations of Computer Science: International Symposium, Lfcs 2022, Deerfield Beach, Fl, Usa, January 10-13, 2022, Proceedings

Sergei Artemov

$67.99