Voronkov Andrei Aleksandrovich

Publications in Math-Net.Ru

1. Constructive truth and constructive calculi
   
   Dokl. Akad. Nauk SSSR, 299:1 (1988),  26–30
2. Model theory based on the constructive understanding of truth
   
   Trudy Inst. Mat. Sib. Otd. AN SSSR, 8 (1988),  25–42