О допустимых правилах интуиционистской логики высказываний
Matematiceskij sbornik (1977)
- Volume: 144, Issue: 2, page 314-323
- ISSN: 0368-8666
Access Full Article
top
How to cite
topЦиткин, А.И.. "О допустимых правилах интуиционистской логики высказываний." Matematiceskij sbornik 144.2 (1977): 314-323. <http://eudml.org/doc/70909>.
@article{Циткин1977,
author = {Циткин, А.И.},
journal = {Matematiceskij sbornik},
keywords = {модусные правила вывода; интуиционистское исчисление высказываний; бесконечная независимая система допустимых модусных правил; конечные геделевы псевдобулевы алгебры},
language = {rus},
number = {2},
pages = {314-323},
publisher = {Tipogr. Lissnera i Sobko},
title = {О допустимых правилах интуиционистской логики высказываний},
url = {http://eudml.org/doc/70909},
volume = {144},
year = {1977},
}
TY - JOUR
AU - Циткин, А.И.
TI - О допустимых правилах интуиционистской логики высказываний
JO - Matematiceskij sbornik
PY - 1977
PB - Tipogr. Lissnera i Sobko
VL - 144
IS - 2
SP - 314
EP - 323
LA - rus
KW - модусные правила вывода; интуиционистское исчисление высказываний; бесконечная независимая система допустимых модусных правил; конечные геделевы псевдобулевы алгебры
UR - http://eudml.org/doc/70909
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.