Bookbot

Handbook of Logic and Proof Techniques for Computer Science

Évaluation du livre

3,4(3)Évaluer

Paramètres

Pages
268pages
Temps de lecture
10heures

En savoir plus sur le livre

Focusing on the need for accessible logic in mathematics, this handbook aims to bridge the gap for mathematical scientists with limited exposure to the subject. It introduces essential terminology and concepts of modern logic, making it suitable for readers with basic mathematical knowledge. Unlike more specialized works, this guide offers a clear and concise overview of key ideas, allowing professionals to grasp important logical principles without being overwhelmed. The book serves as a practical resource for those seeking to enhance their understanding of mathematical logic.

Édition

Achat du livre

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

Langue
Année de publication
2012
product-detail.submit-box.info.binding
(souple)
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.