Author

Sergei Artemov

2 books found

Cover of Justification Logic

Justification Logic

Sergei Artemov, Melvin Fitting · First published 2019

Cover of Logical Foundations of Computer Science

Logical Foundations of Computer Science

Sergei Artemov · First published 2007