Blass Andreas

Presentations in Math-Net.Ru

1. What is the intrinsic logic of infons?
   Andreas Blass, Yuri Gurevich
   International workshop "Logical Models of Reasoning and Computation"
   February 2, 2012 10:00