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

Publisher: Dosije | Language: Srpski | Year: 2017
Original title: / | Num. of pages: 278 | Dimensions: 24 cm | Cover: /

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

Price: 7812 ден

Compare
Sold By MC MOST New

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

Category:
SKU: 978-86-6047-239-9

Reviews

There are no reviews yet.

Be the first to review “Logic Lectures : Gödel’s basic logic course at Notre Dame”

Your email address will not be published. Required fields are marked *

Questions and Answers

You are not logged in