Bookbot

Handbook of Logic and Proof Techniques for Computer Science

Buchbewertung

3,4(3)Abgeben

Parameter

Seitenzahl
268 Seiten
Lesezeit
10 Stunden

Mehr zum Buch

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.

Publikation

Buchkauf

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

Sprache
Erscheinungsdatum
2012
product-detail.submit-box.info.binding
(Paperback)
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

3,4
Gut
3 Bewertung

Hier könnte deine Bwertung stehen.