Synthese 133/1-2

Foundations of the formal sciences I

2002