![](https://image.librarything.com/pics/fugue21/magnifier-left.png)
![](https://images-na.ssl-images-amazon.com/images/P/1470452723.01._SX180_SCLZZZZZZZ_.jpg)
Klik op een omslag om naar Google Boeken te gaan.
Bezig met laden... A First Journey Through Logic (Student Mathematical Library)door Martin Hils
Geen Bezig met laden...
![]() Meld je aan bij LibraryThing om erachter te komen of je dit boek goed zult vinden. Op dit moment geen Discussie gesprekken over dit boek. Geen besprekingen geen besprekingen | voeg een bespreking toe
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, Godel'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. Geen bibliotheekbeschrijvingen gevonden. |
Actuele discussiesGeen
![]() GenresDewey Decimale Classificatie (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC-classificatieWaarderingGemiddelde: Geen beoordelingen.Ben jij dit?Word een LibraryThing Auteur. |