@article{Попов1981, author = {Попов, С.В.}, journal = {Algebra i Logika}, keywords = {nondecidable intermediate propositional calculi; recursively nondecidable Post production systems}, language = {rus}, number = {6}, pages = {654-706}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Неразрешимое промежуточное исчисление}, url = {http://eudml.org/doc/187160}, volume = {20}, year = {1981}, }
TY - JOUR AU - Попов, С.В. TI - Неразрешимое промежуточное исчисление JO - Algebra i Logika PY - 1981 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 20 IS - 6 SP - 654 EP - 706 LA - rus KW - nondecidable intermediate propositional calculi; recursively nondecidable Post production systems UR - http://eudml.org/doc/187160 ER -