Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Argitaratua: |
NCFU
|
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| LEADER | 01001nam a2200169 i 4500 | ||
|---|---|---|---|
| 001 | F.NCFU.000295.07EEBC | ||
| 005 | 20140410175024.0 | ||
| 200 | |a Введение в теорию моделей и метаматематику алгебры |f Пер. с анг. А.Б. Волынского | ||
| 210 | |a М. |c Наука |d 1967 | ||
| 215 | |a 374 с. | ||
| 225 | |a Математическая логика и основания математики | ||
| 330 | |a Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления | ||
| 700 | 1 | |a Робинсон |b А. | |
| 801 | 0 | |a RU |b NCFU |c 20140410 |g rcr | |
| 801 | 1 | |2 rusmarc |a RU |b NCFU |c 20140410 | |
| 899 | |i Р 583 |j 51 | ||
| 993 | |a 281430 |b 106429 |e 287843 |f 8 |h 1-65 |i 800000042036 |m 1 |n 38926.536631944444 |o I | ||