@InCollection{troelstra:johan99,
author="A.S. Troelstra and P. van Ulsen",
title="The Discovery of E.W. Beth's Semantics for Intuitionistic Logic",
pages="/contribs/troelstra/",
crossref="
gerb:joha99
"
}