133507

References

Benedikt Löwe

Edited Books

X

with Rudolph, F. (eds) (2002). Foundations of the formal sciences I. Synthese 133 (1-2).