Контакт Помош
Македонски English

Logic Lectures : Gödel’s basic logic course at Notre Dame

Издавач: Dosije | Јазик: Srpski | Година: 2017
Оригинален наслов: / | Бр. на страни: 278 | Димензии: 24 cm | Корица: /

An edited version is given of the text of Gödel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. Gödel's notes deal with what is today considered as important logical problems par excellence, completeness, decidability, independence of axioms, and with natural deduction too, which was all still a novelty at the time the course was delivered. Full of regards towards beginners, the notes are not excessively formalistic. Gödel presumably inAn edited version is given of the text of Gödel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. Gödel's notes deal with what is today considered as important logical problems par excellence, completeness, decidability, independence of axioms, and with natural deduction too, which was all still a novelty at the time the course was delivered. Full of regards towards beginners, the notes are not excessively formalistic. Gödel presumably

Цена: 7812 ден

Додади во омилени
Спореди
Продавач MC MOST New

Report an abuse for product Logic Lectures : Gödel’s basic logic course at Notre Dame

Категорија:
ИСБН: 978-86-6047-239-9

MC MOST New

Оценки

Сѐ уште нема оценки.

Koментирајте први за “Logic Lectures : Gödel’s basic logic course at Notre Dame”

Вашата адреса за е-пошта нема да биде објавена. Задолжителните полиња се означени со *

Questions and Answers

You are not logged in

Поврзани производи