Skip to content
Vinony

Adapting Proofs-as-Programs

by Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing

Cover of Adapting Proofs-as-Programs

No description available.

Proof theoryLogic, symbolic and mathematical
Adapting Proofs-as-Programs by Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing — book · Vinony