What is wrong?

Notice: Before sending an error with the download, please try the direct link first: A Friendly Introduction to Mathematical Logic

Loading...

You must sign in to do that.

Forgot password?

A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic

Score: ---- | 0 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2015
Publisher:The University of Oslo
Pages:380 pages
Language:english
Since:10/01/2018
Size:1.73 MB
License:CC-BY-NC-SA

Content:

This book covers the central topics of first-order mathematical logic in a way that can reasonably be completed in a single semester. From the core ideas of languages, structures, and deductions we move on to prove the Soundness and Completeness Theorems, the Compactness Theorem, and G¨odel’s First and Second Incompleteness Theorems. There is an introduction to some topics in model theory along the way, but I have tried to keep the text tightly focused.

One choice that I have made in my presentation has been to start right in on the predicate logic, without discussing propositional logic first. I present the material in this way as I believe that it frees up time later in the course to be spent on more abstract and difficult topics. It has been my experience in teaching from preliminary versions of this book that students have responded well to this choice. Students have seen truth tables before, and what is lost in not seeing a discussion of the completeness of the propositional logic is more than compensated for in the extra time for Gödel’s Theorem.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in categories

online since

10/01/2018

rate score

Nothing yet...

votes

Nothing yet...

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...