Резников, И.. "On independent recursive axiomatisation in intuitionistic logic." Algebra i Logika 6.6 (1967): 21-27. <http://eudml.org/doc/186685>.
@article{Резников1967, author = {Резников, И.}, journal = {Algebra i Logika}, keywords = {recursively denumerable sets}, language = {eng}, number = {6}, pages = {21-27}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {On independent recursive axiomatisation in intuitionistic logic}, url = {http://eudml.org/doc/186685}, volume = {6}, year = {1967}, }
TY - JOUR AU - Резников, И. TI - On independent recursive axiomatisation in intuitionistic logic JO - Algebra i Logika PY - 1967 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 6 IS - 6 SP - 21 EP - 27 LA - eng KW - recursively denumerable sets UR - http://eudml.org/doc/186685 ER -