Скворцов, Д.П.. "Об одном суперинтуиционистском исчислении высказываний." Algebra i Logika 24.2 (1985): 195-204. <http://eudml.org/doc/187309>.
@article{Скворцов1985, author = {Скворцов, Д.П.}, journal = {Algebra i Logika}, keywords = {intermediate logic; propositional superintuitionistic logic}, language = {rus}, number = {2}, pages = {195-204}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Об одном суперинтуиционистском исчислении высказываний}, url = {http://eudml.org/doc/187309}, volume = {24}, year = {1985}, }
TY - JOUR AU - Скворцов, Д.П. TI - Об одном суперинтуиционистском исчислении высказываний JO - Algebra i Logika PY - 1985 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 24 IS - 2 SP - 195 EP - 204 LA - rus KW - intermediate logic; propositional superintuitionistic logic UR - http://eudml.org/doc/187309 ER -