Observational logic, constructor-based l
✍
Michel Bidoit; Rolf Hennicker; Alexander Kurz
📂
Article
📅
2003
🏛
Elsevier Science
🌐
English
⚖ 406 KB