| Форма представления | Учебно-методическое пособие без грифа |
| Год публикации | 2014 |
| Язык | русский |
|
Корнеева Наталья Николаевна, автор
|
| Библиографическое описание на языке оригинала |
Корнеева Н.Н. Основания математики: исчисления высказываний и предикатов. - Казань, КФУ. - 2014. - 32 с. [http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf] |
| Ключевые слова |
высказывание, предикат, исчисление, непротиворечивость, полнота |
| URL |
http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=86551 |
| Файлы ресурса | |
|
|
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Корнеева Наталья Николаевна |
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/?p_id=86551 |
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 |
Учебно-методическое пособие без грифа |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
