Strahm Thomas

Доклады и лекции в базе данных Math-Net.Ru

1. Types and truth in weak applicative theories
   Thomas Strahm
   Международная конференция «Logical Models of Reasoning and Computation»
   1 февраля 2012 г. 17:30