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

Kod: 07412735

Handbook of Logic and Proof Techniques for Computer Science

Autor 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 ... więcej

283.73


Dostępna u dostawcy
Wysyłamy za 14 - 18 dni
Dodaj do schowka

Zobacz książki o podobnej tematyce

Podaruj tę książkę jeszcze dziś
  1. Zamów książkę i wybierz "Wyślij jako prezent".
  2. Natychmiast wyślemy Ci bon podarunkowy, który możesz przekazać adresatowi prezentu.
  3. Książka zostanie wysłana do adresata, a Ty o nic nie musisz się martwić.

Dowiedz się więcej

Więcej informacji o Handbook of Logic and Proof Techniques for Computer Science

Za ten zakup dostaniesz 166 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Mathematics Mathematical foundations

283.73

Ulubione w innej kategorii


250 000
zadowolonych klientów

Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.


Paczkomat 12,99 ZŁ 31975 punktów

Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies


Konto: Logowanie
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Koszyk ( pusty )

Kup za 299 zł i
zyskaj darmową dostawę.

Twoja lokalizacja: