Теория множеств с интуиционистской логикой: базисная система.

V.H. Khakhaman

doi:10.21146/2074-1472-2004-11-0-278-281

PDF (Русский)

Published: 02.11.2004

DOI: https://doi.org/10.21146/2074-1472-2004-11-0-278-281

V.H. Khakhaman

Abstract

We give in this short article the basic formal system of set theory, which underlining logic is intuitionistic logic.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

How to Cite

Khakhaman V. Теория множеств с интуиционистской логикой: базисная система. // Logicheskie Issledovaniya / Logical Investigations. 2004. VOL. 11. C. 278-281.

Issue

Vol 11 (2004)

Section

Papers

Language

##plugins.block.information.link##

##plugins.block.makeSubmission.linkLabel##

ISSN 2074-1472 (Print)
ISSN 2413-2713 (Online)

Publisher:
Institute of Philosophy, Russian Academy of Sciences

Frequency: 2 times per year

First issue: 1993; the journal is a redesigned continuation of the annual Logical Investigations that has been published since 1993 till 2015.

The journal is registered with the Federal Service for Supervision of Communications, Information Technology, and Mass Media (Roskomnadzor). The Mass Media Registration Certificate No. FS77-61228 on April 3, 2015.

The Journal is indexed

;

The journal is included in the list of peer-reviewed scientific editions acknowledged by the Higher Attestation Commission of the Ministry of Education and Science of the Russian Federation.

Beginning with issue 16 Logical Investigations has become a subscription publication. Subscription index in the catalogue of Russian Post is ПН145.

Contacts:
Address: 12/1 Goncharnaya Str., Moscow, 109240, Russian Federation
Phone: +7 495 697-96-65
E-mail: editorial_board@logicalinvestigations.ru

##plugins.themes.bootstrap3.article.sidebar##

##plugins.themes.bootstrap3.article.main##

Abstract

##plugins.generic.usageStats.downloads##

##plugins.themes.bootstrap3.article.details##