Bookbot

Handbook of Logic and Proof Techniques for Computer Science

Évaluation du livre

3,4(3)Évaluer

Paramètres

Pages
245pages
Temps de lecture
9heures

En savoir plus sur le livre

Focusing on the essential role of logic in modern mathematics, this handbook aims to bridge the gap between complex mathematical concepts and those with basic mathematical knowledge. Unlike more specialized texts, it introduces key terminology and ideas in a clear manner, making it accessible to mathematical scientists who may not have a deep background in logic. The work is designed to provide a foundational understanding of modern logic, including contemporary topics, catering specifically to readers seeking to enhance their familiarity with the subject.

Édition

Achat du livre

Handbook of Logic and Proof Techniques for Computer Science, Steven G. Krantz

Langue
Année de publication
2002
product-detail.submit-box.info.binding
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

3,4
Très bien !
3 Évaluations

Il manque plus que ton avis ici.