Любецкий, В.А.. "Интуиционистская теория алгебраических систем и гейтинговозначный анализ.." Algebra i Logika 30.3 (1991): 320-332. <http://eudml.org/doc/187569>.
@article{Любецкий1991, author = {Любецкий, В.А.}, journal = {Algebra i Logika}, keywords = {ring with a metric; classical truth; intuitionistic truth; language of rings; intuitionistic set theory}, language = {rus}, number = {3}, pages = {320-332}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Интуиционистская теория алгебраических систем и гейтинговозначный анализ.}, url = {http://eudml.org/doc/187569}, volume = {30}, year = {1991}, }
TY - JOUR AU - Любецкий, В.А. TI - Интуиционистская теория алгебраических систем и гейтинговозначный анализ. JO - Algebra i Logika PY - 1991 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 30 IS - 3 SP - 320 EP - 332 LA - rus KW - ring with a metric; classical truth; intuitionistic truth; language of rings; intuitionistic set theory UR - http://eudml.org/doc/187569 ER -
