KFU. Card publication. Основания математики: исчисления высказываний и предикатов

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

ОСНОВАНИЯ МАТЕМАТИКИ: ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ

Form of presentation

Non-approved manuals

Year of publication

2014

Язык

русский

Authors, employees of KFU

Korneeva Natalya Nikolaevna, author

Bibliographic description in the original language

Korneeva N.N. Osnovaniya matematiki: ischisleniya vyskazyvaniy i predikatov. - Kazan, KFU. - 2014. - 32 s. [http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf]

Keywords

высказывание, предикат, исчисление, непротиворечивость, полнота

URL

http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=86551&p_lang=2

Resource files

File name	Size (MB)	Format
50_006_A5_000446.pdf	0,25	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Korneeva Natalya Nikolaevna	ru_RU
dc.date.accessioned	2014-01-01T00:00:00Z	ru_RU
dc.date.available	2014-01-01T00:00:00Z	ru_RU
dc.date.issued	2014	ru_RU
dc.identifier.citation	Корнеева Н.Н. Основания математики: исчисления высказываний и предикатов. - Казань, КФУ. - 2014. - 32 с. [http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf]	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=86551&p_lang=2	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	высказывание	ru_RU
dc.subject	предикат	ru_RU
dc.subject	исчисление	ru_RU
dc.subject	непротиворечивость	ru_RU
dc.subject	полнота	ru_RU
dc.title	Основания математики: исчисления высказываний и предикатов	ru_RU
dc.type	Non-approved manuals	ru_RU