عنوان

A first journey through logic /

(Number (ISBN

1470452723

(Number (ISBN

9781470452728

Title Proper

A first journey through logic /

General Material Designation

[Book]

First Statement of Responsibility

Martin Hils, François Loeser.

Place of Publication, Distribution, etc.

Providence, Rhode Island :

Name of Publisher, Distributor, etc.

American Mathematical Society,

Date of Publication, Distribution, etc.

[2019]

Date

1908

Specific Material Designation and Extent of Item

xi, 185 pages ;

Dimensions

22 cm.

Series Title

Student mathematical library ;

Volume Designation

volume 89

Text of Note

Includes bibliographical references and index.

Text of Note

The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gödel's incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights outside of logic when possible either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest. --

Logic, Symbolic and mathematical, Textbooks.

Mathematics, Textbooks.

Logic, Symbolic and mathematical.

Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.)

Mathematics.

Mathematische Logik

Number

Edition

Class number

Book number

Class number

System Code

Hils, Martin,1973-

Loeser, François

Date of Transaction

20200823025904.0

Cataloguing Rules (Descriptive Conventions))

rda

Electronic name

[Book]

Y