Téléchargez le livre : A First Course in Logic

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

de

Éditeur :

OUP Oxford


Paru le : 2004-07-08



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
79,55 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Pages
n.c
Collection
n.c
Parution
2004-07-08
Marque
OUP Oxford
EAN papier
9780191586774
EAN PDF
9780191586774
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
0
Taille du fichier
2314 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
79,55 €

Suggestions personnalisées