There is no fulltext present in this item.

Find Full text  
Title: Introduction
Author(s): Wiedijk, F.
Publication year: 2006
In: Wiedijk, F. (ed.), The Seventeen Provers of the World, pp. 1-9
Publisher: Berlin ; New York : Springer
ISBN: 3540307044
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/35702   https://hdl.handle.net/2066/35702

Display more details
Editor(s): Wiedijk, F.
Subject: Foundations
Organization: Foundations
Book title: Wiedijk, F. (ed.), The Seventeen Provers of the World
Page start: p. 1
Page end: p. 9

This item appears in the following Collection(s)

Browse

Statistics