RUSSIAN

Основания математики. Теория доказательств

By Гильберт Д. , Бернайс П.

Book information

Publisher
Наука
Year
1982
Language
russian
Format
DJVU
Filesize
7 MB (7378348 bytes)
Pages
326\326
Topic
Mathematics Logic
Library
infanata
Time added
2009-07-20 03:45:11
Математика;Математическая логика;Теория доказатель

Description

В настоящей книге дается детальное изложение современного состояния теории доказательств. Хотя достижения этой теории на сегодняшний день и очень скромны по сравнению с целями, которые она перед собой ставит, тем не менее в ней содержится много ярких результатов, точек зрения и идей, безусловно заслуживающих того, чтобы их довести до сведения читателей.

Similar books