Bookbot

Handbook of Logic and Proof Techniques for Computer Science

Valutazione del libro

3,4(3)Aggiungi una valutazione

Parametri

Pagine
268pagine
Tempo di lettura
10ore

Maggiori informazioni sul libro

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.

Pubblicazione

Acquisto del libro

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

Lingua
Pubblicato
2012
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

3,4
Ok
3 Valutazioni

Qui potrebbe esserci la tua recensione.