No Cover
Book

Justification Logic

by Sergei Artemov, Melvin Fitting

No ratings yet