@article{ru:kuznetsov1965sheffer,
  author    = {Кузнецов А.В.},
  title     = {Аналоги “штриха Шеффера” в конструктивной логике},
  journal   = {Доклады АН СССР},
  volume    = {160},
  number    = {2},
  year      = {1965},
  issn      = {0002-3264},
  pages     = {274--277}
}

% McKinsey J.C.C. Proof of the independence of the primitive symbols of Heyting's calculus of propositions, J. Symb. Logic, 1939, vol. 4, p. 155-158

{"_id":"wo9XYhahpBGyh5tSw","bibbaseid":"--1965","authorIDs":[],"author_short":["А.В., К."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Кузнецов"],"propositions":[],"lastnames":["А.В."],"suffixes":[]}],"title":"Аналоги “штриха Шеффера” в конструктивной логике","journal":"Доклады АН СССР","volume":"160","number":"2","year":"1965","issn":"0002-3264","pages":"274–277","bibtex":"@article{ru:kuznetsov1965sheffer,\r\n author = {Кузнецов А.В.},\r\n title = {Аналоги “штриха Шеффера” в конструктивной логике},\r\n journal = {Доклады АН СССР},\r\n volume = {160},\r\n number = {2},\r\n year = {1965},\r\n issn = {0002-3264},\r\n pages = {274--277}\r\n}\r\n\r\n% McKinsey J.C.C. Proof of the independence of the primitive symbols of Heyting's calculus of propositions, J. Symb. Logic, 1939, vol. 4, p. 155-158\r\n","author_short":["А.В., К."],"key":"ru:kuznetsov1965sheffer","id":"ru:kuznetsov1965sheffer","bibbaseid":"--1965","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/network/files/7XRk2LnYnoMXTeTGd","creationDate":"2019-09-29T07:57:48.040Z","downloads":0,"keywords":[],"search_terms":["а.в."],"title":"Аналоги “штриха Шеффера” в конструктивной логике","year":1965,"dataSources":["QfL3CfJ8o8dhwFZzh","X7oz328GgqiJpDuzi","miATaBcHpgdaQgsZ3"]}