Observational Logic, Constructor-Based Logic, and their Duality (2002)

Cached

Download Links

by Michel Bidoit , Rolf Hennicker , Alexander Kurz
Citations:7 - 1 self