Editable Biblio is accessible from the internal network (or through VPN): http://10.10.24.239:8080/biblio/?section=publication&id=4074849128870272801&mode=view
Geert-Jan M. Kruijff (1998): Clarendon Press/Oxford Science Publications, 1996. ISBN 0-19-853833-2. In: Journal of Logic, Language & Information, vol. 7, No. 4 (bibtex)