О конструктивизациях булевых алгебр.

А.Г. Пинус

Sibirskij matematiceskij zurnal (1981)

  • Volume: 22, Issue: 4, page 169-175
  • ISSN: 0037-4466; 1573-9260/e

How to cite


Пинус, А.Г.. "О конструктивизациях булевых алгебр.." Sibirskij matematiceskij zurnal 22.4 (1981): 169-175. <http://eudml.org/doc/62069>.

author = {Пинус, А.Г.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {decidability of second order theory; recursive ultra-filters},
language = {rus},
number = {4},
pages = {169-175},
publisher = {Izd. AN SSSR},
title = {О конструктивизациях булевых алгебр.},
url = {http://eudml.org/doc/62069},
volume = {22},
year = {1981},

AU - Пинус, А.Г.
TI - О конструктивизациях булевых алгебр.
JO - Sibirskij matematiceskij zurnal
PY - 1981
VL - 22
IS - 4
SP - 169
EP - 175
LA - rus
KW - decidability of second order theory; recursive ultra-filters
UR - http://eudml.org/doc/62069
ER -

NotesEmbed ?


You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.