Mostra i principali dati dell'item

dc.contributor.authorНовиков П.С.
dc.date.accessioned2016-02-22T06:14:08Z
dc.date.available2016-02-22T06:14:08Z
dc.date.issued1977
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/47846
dc.description.abstractНастоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что ее можно читать независимо от предыдущей. В частности, в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной арифметики. Несмотря на то, что со времени чтения соответствующих курсов Петра Сергеевича прошло около 20 лет, затронутые в них вопросы не потеряли своей актуальности. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. Книга может также служить основой для спецкурсов.
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleКонструктивная математическая логика с точки зрения классической
dc.typeother
dc.identifier.aich2BNVS4SCMGIRH6DKWH4WCFIFWRRJONHQ
dc.identifier.crc3258C14FA1
dc.identifier.doi
dc.identifier.edonkey4A491E347582EA93298F94AD3A6E1299
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid1436797
dc.identifier.md55e1f09348940b7ca93f9398aed8e28d7
dc.identifier.sha1R572VFGZ2CQD5V3Z5IRZMYUF4QJAGVGZ
dc.identifier.tthJKPCVX5J6X6LKZA5OKV633NRJJOU6V6WLJHBU3Y


Files in questo item

Thumbnail

Questo item appare nelle seguenti collezioni

Mostra i principali dati dell'item