Handbook of Logic and Proof Techniques for Computer Science / Libristo.pl
Handbook of Logic and Proof Techniques for Computer Science

Code: 07412735

Handbook of Logic and Proof Techniques for Computer Science

by Steven G. Krantz

This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and m ... more

288.60


Low in stock at our supplier
Shipping in 12 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.


Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Handbook of Logic and Proof Techniques for Computer Science

You get 168 loyalty points

Book synopsis

This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and model theory.

Book details

Book category Books in English Mathematics & science Mathematics Mathematical foundations

288.60

Trending among others


Books by language

250 000
safisfied customers

Since 2008, we have served long line of book lovers, but each of them was always on the first place.


Paczkomat 12,99 ZŁ 31975 punktów

Copyright! ©2008-24 libristo.pl All rights reservedPrivacyPoučení o cookies


Account: Log in
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Shopping cart ( Empty )

For free shipping
shop for 299 zł and more

You are here: