Observational logic, constructor-based l
β
Michel Bidoit; Rolf Hennicker; Alexander Kurz
π
Article
π
2003
π
Elsevier Science
π
English
β 406 KB