ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

О секвенциальных системах слабых арифметик

Чубарян, А. А. and Болибекян, О. Р. (2002) О секвенциальных системах слабых арифметик. ՀՀ ԳԱԱ Զեկույցներ, 102 (3). pp. 214-218. ISSN 0321-1339

[img]PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
111Kb

Abstract

Հոդվածում սահմանվում են Ռոբինսոնի թվաբանության մինիմալ հաշիվների սեկվենցիալ համակարգեր՝ հատույթի կանոնով և առանց հատույթի կանոնի: Ապացուցված է նրանց համարժեքությունը:

Item Type:Article
Additional Information: Թույլ թվաբանությունների սեկվենցիալ հաշիվների մասին։ On the sequential calculus of weak arithmetics.
Uncontrolled Keywords:Չուբարյան Ա. Ա., Բոլիբեկյան Հ. Ռ., Chubaryan A. A., Bolibekyan H. R.
Subjects:Q Science > QA Mathematics
ID Code:602
Deposited By:NAS Reports
Deposited On:09 Jul 2011 13:12
Last Modified:13 Mar 2014 08:17

Repository Staff Only: item control page