LibeX: Книжный интернет магазин. Продать книги. Купить книги

Магазин, где можно не только купить, но и продать книги

Каталог: Наука, образование »•» Математика, статистика

Ebbinghaus, Heinz-Dieter; Flum, Jorg; Thomas, Wolfgang: Einfuhrung in die mathematische Logik

counter

Ebbinghaus, Heinz-Dieter; Flum, Jorg; Thomas, Wolfgang

Einfuhrung in die mathematische Logik

Издательство: Darmstadt: Wissenschafliche Buchgesellschaft
Переплет: мягкий; 288 страниц; 1978 г.
ISBN: 3-534-06354-6; Формат: стандартный
Язык: немецкий
На сайте с 05.11.2024

Аннотация

Das Hauptanliegen der mathematischen Logik - die Untersuchung des mathematischen Beweisbegriffs - wird im Rahmen der sog. Sprache erster Stufe behandelt. Um die Tragweite der Ergebnisse zu beleuchten, wird anhand eines mengentheoretischen Aufbaus der Mathematik dargelegt, das sich alle mathematischen Aussagen in der Sprache erster Stufe formulieren lassen. Der formale Charakter dieser Sprache ermoglicht es zugleich, die Frage nach der Widerspruchsfreiheit der Mathematik exakt zu diskutieren und Grenzen maschineller Methoden und des axiomatischen Vorgehens aufzuweisen. Das Buch schliest mit einer Einfuhrung in die allgemeine Theorie logischer Systeme, die es insbesondere gestattet, die ausgezeichnete Stellung der ersten Stufe abzuklaren.
Die Lekture erfordert keine mathematischen Spezialkenntnisse; sie setzt jedoch ein mathematisches Verstandnis voraus, wie man es etwa in den Anfangssemestern eines Mathematikstudiums erwirbt.


 В продаже  Хочу купить
Продавец: wowik отлично, более 100 оценок (Томск, RU/70 флаг)  
Состояние: индикатор состояния как новое; В продаже с 05.11.2024

Условия доставки и оплаты

Способы доставки: почтой по предоплате

Способы оплаты: банковской картой

Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.

Цена
1800 руб


 Искать похожие 
> только название
> автор и название
 Добавить объявление
>продаю
> хочу купить



назад листать дальше
Первая помощь
>Впервые здесь?
>Как купить
>Как продать
>Зачем регистрироваться
>Платные услуги
еще ...
Поиск на LibeX
 
Название Автор 
расширенный поиск
Поиск на FindBook
findbook лого
 
Название Автор 
 Вход
 Имя:
 Пароль: 
 Запомнить пароль
регистрация
напомнить пароль





 
Индекс цитирования Яndex counter liveinternet.ru