1996
The Quest for Correctness
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
G.Y. Nieuwland | |
Barendregt, H. (1996). The Quest for Correctness. In G. Y. Nieuwland (Ed.), . Stichting Mathematisch Centrum. |